Towards practical proofs of class correctness

Thumbnail
Metadata only
Author
Meyer, Bertrand
Date
2003
Type
    Conference Paper
Publication status
published
External links
Book title
ZB 2003: formal specification and development in Z and B
Journal / series
Lecture Notes in Computer Science
Volume
2651
Pages / Article No.
359 - 387
Publisher
Springer
Event
3rd International Conference on B and Z Users, Turku, Finland, June 04-06, 2003
More
Show all metadata
Citations
Cited 6 times in Web of Science
ETH Bibliography
yes
Altmetrics