BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Book chapters


Title
Checking the Conformance of Java Classes Against Algebraic Specifications

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. Reis (Author)

Date of Publication
2006

Where published
Formal Methods and Software Engineering,Lecture Notes in Computer Science

Publication Identifiers
ISSN - 0302-9743,1611-3349
ISBN - 9783540474609,9783540474623

Address
Macao, China

Publisher
Springer Berlin Heidelberg

Collection
Lecture Notes in Computer Science

Edition
Liu Z., He J.
Volume
4260

Starting page
494
Last page
513

Document Identifiers
DOI - https://doi.org/10.1007/11901433_27
URL - http://dx.doi.org/10.1007/11901433_27


Export

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} }