Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, ... Notes in Computer Science, Band 10886)
Ein Fachbuch aus der SEFM‑2018-Konferenz in Toulouse, das aktuelle Forschungsergebnisse zu formalen Methoden und Softwareverifikation zusammenfasst ...