Checking the Conformance of Java Classes Against Algebraic Specifications.

Isabel Nunes, Antnia Lopes, Vasco Thudichum Vasconcelos, Joo Abreu, Lus S. Reis

Browse the full ICFEM paper archive.