Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A refinement based approach to calculating a fault tolerant railway signal device., and . IFIP Congress Topical Sessions, volume 156 of IFIP, page 621-627. Kluwer/Springer, (2004)Implementing Promoted Operations in Z.. Refine, page 367-378. Springer London, (1992)The verified software repository: a step towards the verifying compiler., , and . Formal Asp. Comput., 18 (2): 143-151 (2006)Editorial., , , and . Formal Asp. Comput., 21 (4): 303 (2009)Using Z - specification, refinement, and proof., and . Prentice Hall international series in computer science Prentice Hall, (1996)09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems., , , , and . Refinement Based Methods for the Construction of Dependable Systems, volume 09381 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)Formalisms.. ACM SIGSOFT Softw. Eng. Notes, 13 (1): 30-32 (1988)Properties of Z specifications.. ACM SIGSOFT Softw. Eng. Notes, 14 (5): 43-54 (1989)Structuring specifications in Z.. Softw. Eng. J., 4 (1): 51-66 (1989)Industrial Practice in Formal Methods: A Review., , , and . FM, volume 5850 of Lecture Notes in Computer Science, page 810-813. Springer, (2009)