Adenilso Simao

Adenilso Simao

2 books in the database

Books

Formal Methods : Foundations and ApplicationsAdenilso Simao

Formal Methods : Foundations and Applications

Adenilso Simao · 2011

Formal Methods Foundations And Applications 14th Brazilian Symposium On Formal Methods Sbmf 2011 So Paulo September 2630 2011 Revised Selected PapersAdenilso Simao

Formal Methods Foundations And Applications 14th Brazilian Symposium On Formal Methods Sbmf 2011 So Paulo September 2630 2011 Revised Selected Papers

Adenilso Simao · 2011