FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou, editors, FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Volume 9995 of Lecture Notes in Computer Science, 2016. [doi]

Conference: FM2016

Editors

John S. Fitzgerald

This author has not been identified. Look up 'John S. Fitzgerald' in Google

Constance L. Heitmeyer

This author has not been identified. Look up 'Constance L. Heitmeyer' in Google

Stefania Gnesi

This author has not been identified. Look up 'Stefania Gnesi' in Google

Anna Philippou

This author has not been identified. Look up 'Anna Philippou' in Google