Biblio
Filters: Author is Constance L. Heitmeyer [Clear All Filters]
.
2016. FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Lecture Notes in Computer Science. 9995