Exportar referência
APA
Pedro Crispim, Antónia Lopes, Vasco Vasconcelos, (2010). Runtime Verification for Generic Classes with ConGu2. Proceedings of SBFM 2010, -
IEEE
Pedro Crispim, Antónia Lopes, Vasco Vasconcelos, "Runtime Verification for Generic Classes with ConGu2" in Proceedings of SBFM 2010, Natal, Brasil, 2010, pp. -,
doi:
BIBTEX
@InProceedings{32380,
author = {Pedro Crispim and Antónia Lopes and Vasco Vasconcelos},
title = {Runtime Verification for Generic Classes with ConGu2},
booktitle = {Proceedings of SBFM 2010},
year = 2010,
pages = {-},
address = {Natal, Brasil},
publisher = {}
}