Publicações

Runtime Verification for Generic Classes with Congu2

AuthID
P-002-X1F

Author(s)

Crispim, P

Lopes, A

Vasconcelos, VT

Editor(s)

Davies,J;Simao,A

Document Type

Proceedings Paper

Year published

2011

Published

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

Volume: 6527, Pages: 33-48 (16)

Conference

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

Indexing