An integrated verification environment for JML: architecture and early results.

Patrice Chalin Perry R. James George Karabotsos An integrated verification environment for JML: architecture and early results. 47-53 2007 SAVCBS http://doi.acm.org/10.1145/1292316.1292322 conf/sigsoft/2007savcbs db/conf/sigsoft/savcbs2007.html#ChalinJK07