Proceedings of the SBMF 2005 Brazilian Symposium on Formal Methods, Instituto de Informática - UFRGS, Porto Alegre, Brazil, November 28-30, 2005
Brazilian Symposium on Formal Methods (November, 28th-30th Porto Alegre, Brazil) Augusto Sampaio; Álvaro Freitas Moreira; Leila Ribeiro; Sociedade Brasileira de Computação.; Sociedade Brasileira de Computação