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