English
Intermediate
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Márcio Cornélio,Bill Roscoe (eds.)
2016
View book