Electronic Notes in Theoretical Computer Science, Volume 240

Volume 240, July 2009

Proceedings of the Eleventh Brazilian Symposium on Formal Methods (SBMF 2008), Salvador, Brazil, 26-29 August 2008