BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Book chapters


Title
Polymorphism in Object-Oriented Contract Verification

Participants in the publication
I. Nunes (Author)
Dep. Informática
BioISI

Editor(s)
Ban Al-Ani, H.R.Arabnia,et a

Date of Publication
2003

Where published
SERP

Publication Identifiers
ISBN - 1932415203

Publisher
CSREA Press

Edition
CSREA Press

Starting page
575
Last page
581


Export

APA
I. Nunes, (2003). Polymorphism in Object-Oriented Contract Verification. SERP, 575-581

IEEE
I. Nunes, "Polymorphism in Object-Oriented Contract Verification" in SERP, 2003, pp. 575-581

BIBTEX
@incollection{31895, author = {I. Nunes}, title = {Polymorphism in Object-Oriented Contract Verification}, booktitle = {SERP}, year = 2003, pages = {575-581}, address = {}, publisher = {CSREA Press} }