Export
APA
Isabel Nunes, Antónia Lopes, Vasco Vasconcelos, João Abreu, Luís S. Rei, (2005). Testing Implementations of Algebraic Specifications with Design-By-Contract Tools
IEEE
Isabel Nunes, Antónia Lopes, Vasco Vasconcelos, João Abreu, Luís S. Rei, "Testing Implementations of Algebraic Specifications with Design-By-Contract Tools", 2005
BIBTEX
@misc{31941,
author = {Isabel Nunes and Antónia Lopes and Vasco Vasconcelos and João Abreu and Luís S. Rei},
title = {Testing Implementations of Algebraic Specifications with Design-By-Contract Tools},
year = 2005
}