Formal Methods : Foundations and Applications
Subtitle: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Publisher: Springer London, Limited
Published: 2009
Language: eng
ISBN-13: 9783642104527