Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
1999
Hartel, P.H. and Butler, M.J. and Currie, A. and Henderson, P. and Leuschel, M. and Martin, A. and Smith, A. and Ultes-Nitsche, U. and Walters, B.
(1999)
Questions and Answers About Ten Formal Methods.
In: 4th Int. Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy.
pp. 179-203.
ERCIM/CNR.
ISBN 88-7958-009-4
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||