Dirk Beyer 0001, Rolf Hennicker, Martin Hofmann 0001, Tobias Nipkow, Martin Wirsing. Software-Verifikation. In Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes, editors, 50 Jahre Universitäts-Informatik in München. pages 75-86, Springer, 2017. [doi]
Abstract is missing.