Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (Lecture Notes in Computer Science)
Ein Sammelband aus der IFM‑Konferenz 2016 in Reykjavík, der neueste Arbeiten zu formalen Modellen, Modellprüfung und automatisierter Analyse von S ...