Author of the publication

The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective.

, and . FME, volume 670 of Lecture Notes in Computer Science, page 183-195. Springer, (1993)

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

Personalization and the web from a museum perspective, and . Museums and the web 2004, (2004)Select Z Bibliography.. Z User Workshop, page 359-396. Springer/BCS, (1994)Comp.specification.z and Z FORUM Frequently Asked Questions.. Z User Workshop, page 397-403. Springer/BCS, (1994)Z FORUM Electronic Mailing List.. Z User Workshop, page 378-378. Springer, (1990)Z and HOL., and . Z User Workshop, page 141-167. Springer/BCS, (1994)Turing's legacy., and . The Turing Guide, Oxford University Press, (2017)Communicating the public understanding of science: the Royal Society website., and . Int. J. Technol. Manag., 46 (1/2): 146-164 (2009)Creative visualisation in chemistry., , and . Int. J. Creative Comput., 1 (2/3/4): 231-273 (2016)Towards Proving RISC Machine Code not Risky with respect to Memory Aliasing, and . CoRR, (2013)The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector, , , and . CoRR, (2004)