Electronic Notes in Theoretical Computer Science, Volume 195

Volume 195, January 2008

Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006)
maintained by Schloss Dagstuhl LZI at University of Trier