FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science)
Ein umfangreiches Werk aus dem FM‑Symposium 2016 in Limassol, das neueste Erkenntnisse zu formalen Methoden, Modellierung und Verifikation von Softw ...