Skip to main content

Algebraic Specification and Proof of Properties of a Mail Service

C.A.R. Hoare and J. He

Book Title
IFIP WG 2.1 Working Conference on Program Specification and Transformations‚ Bad−Tölz‚ W. Germany 15–17 April
Editor
L. Meertens
Publisher
North−Holland Publishers
Year
1986