Checking the Conformance of Java Classes Against Algebraic Specifications.

Isabel Nunes Antónia Lopes Vasco Thudichum Vasconcelos João Abreu Luís S. Reis Checking the Conformance of Java Classes Against Algebraic Specifications. 494-513 2006 conf/icfem/2006 ICFEM http://dx.doi.org/10.1007/11901433_27 db/conf/icfem/icfem2006.html#NunesLVAR06