109
click to vote
GI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...