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

Ein kompakter Leitfaden aus dem FM‑Symposium 2016: Limassol, der aktuelle Fortschritte in formaler Verifikation, Modellierung und Analyse von Softwaresystemen zusammenfasst und sowohl theoretische Konzepte als auch praxisnahe Anwendungen beleuchtet.

Teilen: