Electronic Notes in Theoretical Computer Science, Volume 95

Volume 95, 17 May 2004

Proceedings of the Brazilian Workshop on Formal Methods, Campina Grande, Brazil, 12 - 14 October 2003