Formal Methods
Subtitle: Foundations and Applications. 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Publisher: Springer
Published: May 23, 2009
Format: paperback
ISBN-13: 9783642104534
Notes: Source title: Formal Methods: Foundations and Applications. 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers