Formal Methods Foundations And Applications 14th Brazilian Symposium On Formal Methods Sbmf 2011 So Paulo September 2630 2011 Revised Selected Papers
Publisher: Springer
Published: 2011
ISBN-13: 9783642250316