Exportar referência
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}
}