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]
@incollection{0001H0NW17,
title = {Software-Verifikation},
author = {Dirk Beyer 0001 and Rolf Hennicker and Martin Hofmann 0001 and Tobias Nipkow and Martin Wirsing},
year = {2017},
doi = {10.1007/978-3-662-54712-0_5},
url = {https://doi.org/10.1007/978-3-662-54712-0_5},
researchr = {https://researchr.org/publication/0001H0NW17},
cites = {0},
citedby = {0},
pages = {75-86},
booktitle = {50 Jahre Universitäts-Informatik in München},
editor = {Arndt Bode and Manfred Broy and Hans-Joachim Bungartz and Florian Matthes},
publisher = {Springer},
isbn = {978-3-662-54712-0},
}