in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 5902, Pages: 290-305 (16)
Conference
12Th Brazilian Symposium on Formal Methods, Date: AUG 19-21, 2009, Location: Gramado, BRAZIL, Sponsors: Federal Univ Rio Grande do Sul, Inst Informat, Brazilian Comp Soc, CNPq, CAPES, Banrisul, Govt State Rio Grande do Sul, Microsoft Res, Fed Univ Rio Grande do Sul, Univ York
