![](/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 - Early detection of JML specification errors using ESC/Java2
Chalin, PatriceYear:
2006
Language:
english
DOI:
10.1145/1181195.1181201
File:
PDF, 209 KB
english, 2006