FA Sign in

Discover references

José Fiadeiro (eds.)

Books

1 results

Cover of Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

English Intermediate

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Simone Cavalheiro,José Fiadeiro (eds.)

2017 View book