Simone Cavalheiro

Identifiers

Open LibraryOL7976892A

Books by Simone Cavalheiro

Total count: 1

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

Springer2017-11-12