BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Runtime Verification for Generic Classes with ConGu2

Participants in the publication
Pedro Crispim (Author)
Antónia Lopes (Author)
Dep. Informática
 LASIGE
 Vasco Vasconcelos (Author)
Dep. Informática
 LASIGE
Date of Publication
2010

Event
Proceedings of SBFM 2010

Publication Identifiers

Address
Natal, Brasil


Export

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