Towards practical proofs of class correctness

Thumbnail
Metadata only
Author
Meyer, Bertrand
Date
2003
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
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
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics