English
Intermediate
Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Christiano Braga,Cássio Santos (auth.),Juliano Iyoda,Leonardo de Moura (eds.)
2013
View book