Constance Heitmeyer

Identifiers

Open LibraryOL7876204A

Books by Constance Heitmeyer

Total count: 1

FM 2016 : Formal Methods21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Springer2016-11-08