Formal methods [electronic resource] : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full paper...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	Brazilian Symposium on Formal Methods Gramado, Brazil
Other Authors:	Oliveira, Marcel Vinícius Medeiros, Woodcock, Jim
Other title:	SBMF 2009.
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, ©2009.
Series:	Lecture notes in computer science ; 5902. LNCS sublibrary. Programming and software engineering.
Subjects:	Formal methods (Computer science) > Congresses. Formal methods (Computer science) Conference papers and proceedings.