Property Templates and Assertions Supporting Runtime Failure Detection
Additional information
Authors
Wuttke J. D.
Type
Technical report
Year
2008
Language
English
Number
2008/04
Month
August
