in FM 2006: FORMAL METHODS, PROCEEDINGS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 4085, Páginas: 236-251 (16)
Conference
14Th International Symposium on Formal Methods, Date: AUG 21-27, 2006, Location: Hamilton, CANADA, Patrocinadores: Formal Methods Europe, Microsoft Res, Tourism Hamilton, SAP Labs France, Software Qual Res Lab, McMaster Univ, McMaster Univ, Fac Engn, Host: McMaster Univ