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

KWIC-index generation., , , , , , , , , and 1 other author(s). Program Specification, volume 134 of Lecture Notes in Computer Science, page 47-117. Springer, (1981)Using B to Specify, Verify and Design Hardware Circuits.. ZUM, volume 1493 of Lecture Notes in Computer Science, page 60-65. Springer, (1998)The B-Method., , , , and . VDM Europe (2), volume 552 of Lecture Notes in Computer Science, page 398-405. Springer, (1991)Communication Network., and . Program Specification, volume 134 of Lecture Notes in Computer Science, page 118-136. Springer, (1981)Applying the B Technologies on CICS., , , and . FME, volume 1051 of Lecture Notes in Computer Science, page 74-84. Springer, (1996)Formality, Evolution, and Model-driven Software Engineering., , , , and . SBMF, volume 130 of Electronic Notes in Theoretical Computer Science, page 39-55. Elsevier, (2004)B-Tool., and . VDM Europe (1), volume 551 of Lecture Notes in Computer Science, page 695-696. Springer, (1991)A Specification Language.. Program Specification, volume 134 of Lecture Notes in Computer Science, page 381-401. Springer, (1981)Laws of Programming., , , , , , , , and . Commun. ACM, 30 (8): 672-686 (1987)Corrigendum: CACM 30(9): 770 (1987).Topics in programme specification and design : Specification and design of distributed systems.. University of Oxford, UK, (1981)British Library, EThOS.