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