Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis. Checking the Conformance of Java Classes Against Algebraic Specifications. In Zhiming Liu, Jifeng He, editors, Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings. Volume 4260 of Lecture Notes in Computer Science, pages 494-513, Springer, 2006. [doi]
Abstract is missing.