Electronic Notes in Theoretical Computer Science, Volume 195

Volume 195, January 2008

Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006)