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]
Abstract is missing.