A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Preface
2005
Electronical Notes in Theoretical Computer Science
The Brazilian Symposium on Formal Methods (SBMF) 2004 is the seventh 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. The previous six events were workshops held in SBMF has a very good reputation among the academics and research agencies in Brazil. It has also attracted the interest of international researchers, who have contributed as members of the Programme Committees, invited speakers,
doi:10.1016/j.entcs.2005.03.001
fatcat:yictpxwfzffovl72sfcd4uj744