Adenilso Simão
2 published titles
Formal methods : foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11 2010 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642198281
- Springer
- 2011
- Details
Formal methods : foundations and applications : 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642250316
- Springer
- 2011
- Details
