2 works on record
Formal Methods Foundations And Applications 14th Brazilian Symposium On Formal Methods Sbmf 2011 So Paulo September 2630 2011 Revised Selected Papers
Formal Methods : Foundations and Applications