![](/img/cover-not-exists.png)
[ACM Press the 2006 conference - Portland, Oregon (2006.11.10-2006.11.11)] Proceedings of the 2006 conference on Specification and verification of component-based systems - SAVCBS '06 - JML-based verification of liveness properties on a class in isolation
Groslambert, Julien, Julliand, Jacques, Kouchnarenko, OlgaYear:
2006
Language:
english
DOI:
10.1145/1181195.1181204
File:
PDF, 199 KB
english, 2006