A framework for proving contract-equipped classes

Thumbnail
Metadata only
Author
Meyer, Bertrand
Date
2003
Type
  • Other Conference Item
Publication status
published
External links
Search via SFX
Journal / series
Abstract state machines 2003
Volume
2589
Pages / Article No.
108 - 125
Publisher
Springer
Event
10th International Workshop on Abstract State Machines, Taormina, Italy, March 3-7, 2003
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics