Description
About this book
Formal Methods: Foundations and Applications — 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 – October 4, 2013. Proceedings. An English-language digital edition by Juliano Iyoda (Editor); Leonardo de Moura (Editor), available in PDF.
Edition details
- Author / contributors: Juliano Iyoda (Editor); Leonardo de Moura (Editor)
- Publisher: Springer Berlin Heidelberg
- Publication date: August 30, 2013
- Language: English
- ISBNs: 9783642410703; 9783642410710
- Digital formats: PDF





Reviews
There are no reviews yet.