FA Sign in

Discover references

Bill Roscoe (eds.)

Books

1 results

Cover of Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

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