Electronic Notes in Theoretical Computer Science, Volume 184

Volume 184, July 2007

Proceedings of the Second Brazilian Symposium on Formal Methods (SBMF 2005)
maintained by Schloss Dagstuhl LZI, founded at University of Trier