FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science, Band 9995)

Proceedings

von: John Fitzgerald · Constance Heitmeyer · Stefania Gnesi · Anna Philippou

Taschenbuch

ISBN: 978-3-319-48988-9

ISBN-10: 3-319-48988-7

Springer · 2016

Siehe auch:
2017PaperbackFM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings