FA Sign in

Discover references

Narciso Martí-Oliet (eds.)

Books

1 results

Cover of Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

English Intermediate

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Christiano Braga,Narciso Martí-Oliet (eds.)

2015 View book