FA Sign in

Discover references

Mohammad Reza Mousavi

Books

1 results

Cover of Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

English Intermediate

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Tiago Massoni,Mohammad Reza Mousavi

2018 View book