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 - Instituto de Biossistemas e Ciências Integrativas
Antónia Lopes (Author)
Dep. Informática
LASIGE - LASIGE Computer Science and Engineering Research Centre
Vasco Vasconcelos (Author)
Dep. Informática
LASIGE - LASIGE Computer Science and Engineering Research Centre
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 }