BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Other

Document subtype
Preprint

Title
Testing Implementations of Algebraic Specifications with Design-By-Contract Tools

Participants in the publication
Isabel Nunes (Author)
Dep. Informática
BioISI
Antónia Lopes (Author)
Dep. Informática
LASIGE
Vasco Vasconcelos (Author)
Dep. Informática
LASIGE
João Abreu (Author)
Luís S. Rei (Author)

Date of Publication
2005

Publication Identifiers

Edition
DI/FCUL Technical Report


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 }