Formal Methods : Foundations and ApplicationsAdenilso Simao, Carroll Morgan · First published 2011Open the Tome
Formal Methods Foundations And Applications 14th Brazilian Symposium On Formal Methods Sbmf 2011 So Paulo September 2630 2011 Revised Selected PapersAdenilso Simao · First published 2011Open the Tome
