[Lecture Notes in Computer Science] FM 2005: Formal Methods Volume 3582 || Modular Verification of Static Class Invariants
Fitzgerald, John, Hayes, Ian J., Tarlecki, AndrzejVolume:
10.1007/b2
Year:
2005
Language:
english
DOI:
10.1007/11526841_4
File:
PDF, 171 KB
english, 2005