Electronic Notes in Theoretical Computer Science, Volume 130

Volume 130, May 2005

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