FM 2016: Formal methods : 21st international symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings / John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

(eds.)