Calendário de Eventos
|
SBMF 2006 - Brazilian Symposium on Formal Methods
Quarta-feira, 07 Junho 2006, 08:00
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
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