Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings (Lecture Notes in Computer Science, Band 11254)
Ein kompakter Sammelband des SBMF 2018 aus Salvador, der theoretische Grundlagen und praxisnahe Anwendungen formaler Methoden in Softwareentwicklung ...