Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings (Lecture Notes in Computer Science)
Der Band der 13. IFM-Konferenz in Turin fasst aktuelle Forschungsbeiträge zu formalen Methoden zusammen, beleuchtet theoretische Fortschritte und zei ...