Author of the publication

Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development.

, , , , and . FME, volume 1051 of Lecture Notes in Computer Science, page 595-608. Springer, (1996)

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 derivation of a broadcasting protocol using sequentially phased reasoning.. PSTV, page 19-32. North-Holland, (1990)Verifying Parameterized Refinement., , and . ICECCS, page 313-321. IEEE Computer Society, (2005)Safety Assurance via On-Line Monitoring., and . ISADS, page 101-110. IEEE Computer Society, (2001)Formalizing Inductive Proofs of Network Algorithms., , and . ASIAN, volume 1023 of Lecture Notes in Computer Science, page 335-349. Springer, (1995)Constructing a Reliable Test&Set Bit (Abstract)., and . PODC, page 177. ACM, (1996)A Complete Mechanization of Correctness of a String-Preprocessing Algorithm., and . Formal Methods Syst. Des., 27 (1-2): 5-17 (2005)A Correctness Proof of a Distributed Minimum-Weight Spanning Tree Algorithm (extended abstract)., and . ICDCS, page 440-447. IEEE Computer Society, (1987)A Derivation of a Broadcasting Protocol Using Sequentially Phased Reasoning.. REX Workshop, volume 430 of Lecture Notes in Computer Science, page 696-730. Springer, (1989)Protocol Verification in Nuprl., , and . CAV, volume 1427 of Lecture Notes in Computer Science, page 428-439. Springer, (1998)Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract)., and . WDAG, volume 392 of Lecture Notes in Computer Science, page 242-253. Springer, (1989)