Book icon

Book

Algebraic Specification and Proof of Properties of a Mail Service

Actions


Authors


Contributors

Role:
Editor
Host title:
IFIP WG 2.1 Working Conference on Program Specification and Transformations‚ Bad−Tölz‚ W. Germany 15–17 April
Publication date:
1986-01-01
UUID:
uuid:cd2ac97a-0dd9-46c5-b193-75561dc39f0d
Local pid:
cs:8289
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP