Publicações

Runtime Verification for Generic Classes with Congu2

AuthID
P-002-X1F

Author(s)

Crispim, P

Lopes, A

Vasconcelos, VT

Editor(es)

Davies,J;Simao,A

Tipo de Documento

Proceedings Paper

Year published

2011

Publicado

in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 6527, Páginas: 33-48 (16)

Conference

13Th Brazilian Symposium on Formal Methods (Sbmf), Date: NOV 08-11, 2010, Location: Natal, BRAZIL, Patrocinadores: CNPq, Brazilian Sci Technol Res Council, CAPES, Brazilian Higher Educ Fund Council, Fed Univ Rio Grande Norte (UFRN), Miranda Computacao Comercio Ltda, SETIRN

Indexing