Exportar referência
APA
Isabel Nunes, Antónia Lopes, Vasco Vasconcelos, João Abreu, Luís S. Reis, (2006). Checking the Conformance of Java Classes Against Algebraic Specifications . Formal Methods and Software Engineering,Lecture Notes in Computer Science, 494-513
IEEE
Isabel Nunes, Antónia Lopes, Vasco Vasconcelos, João Abreu, Luís S. Reis, "Checking the Conformance of Java Classes Against Algebraic Specifications " in Formal Methods and Software Engineering,Lecture Notes in Computer Science, 2006, pp. 494-513
BIBTEX
@incollection{31741,
author = {Isabel Nunes and Antónia Lopes and Vasco Vasconcelos and João Abreu and Luís S. Reis},
title = {Checking the Conformance of Java Classes Against Algebraic Specifications },
booktitle = {Formal Methods and Software Engineering,Lecture Notes in Computer Science},
year = 2006,
pages = {494-513},
address = {Macao, China},
publisher = {Springer Berlin Heidelberg}
}