Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, Wolfgang Reif. Workshop über Rigorose Entwicklung software-intensiver Systeme. In Kurt Mehlhorn, Gregor Snelting, editors, Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.-22. September 2000. Informatik aktuell, pages 465-466, Springer, 2000. [doi]
@inproceedings{WirsingGKNR00,
title = {Workshop über Rigorose Entwicklung software-intensiver Systeme},
author = {Martin Wirsing and Martin Gogolla and Hans-Jörg Kreowski and Tobias Nipkow and Wolfgang Reif},
year = {2000},
doi = {10.1007/978-3-642-58322-3_35},
url = {https://doi.org/10.1007/978-3-642-58322-3_35},
researchr = {https://researchr.org/publication/WirsingGKNR00},
cites = {0},
citedby = {0},
pages = {465-466},
booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.-22. September 2000},
editor = {Kurt Mehlhorn and Gregor Snelting},
series = {Informatik aktuell},
publisher = {Springer},
isbn = {978-3-642-58322-3},
}