Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture Notes in Computer Science)
In dieser Ausgabe der überarbeiteten Beiträge der 12. FACS-Konferenz werden formale Methoden zur Modellierung, Analyse und Verifikation von Software ...