Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised .. / Programming and Software Engineering)
Hardcover: 351 pages
Publisher: Springer (November 9, 2009)
Language: English
ISBN-10: 3642104517