SBMF 2006 (Second Call for Papers)
Brazilian Symposium on Formal Methods

18-20 September, 2006
Natal - Rio Grande do Norte, Brazil

Promotion: Brazilian Computer Society (SBC)

=========================

SBMF 2006 is the ninth of a series of events devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. It is now a well-establish