Book
Algebraic Specification and Proof of Properties of a Mail Service
Actions
Bibliographic Details
- 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
Item Description
- UUID:
-
uuid:cd2ac97a-0dd9-46c5-b193-75561dc39f0d
- Local pid:
- cs:8289
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 1986
If you are the owner of this record, you can report an update to it here: Report update to this record