Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Lecture Notes in Computer Science)
Ein kompakter Sammelband der SEFM‑Konferenz 2015, der neue theoretische Konzepte und praktische Anwendungen in Software Engineering mit formalen Met ...