Workshop ber Rigorose Entwicklung software-intensiver Systeme.

Martin Wirsing, Martin Gogolla, Hans-Jrg Kreowski, Tobias Nipkow, Wolfgang Reif

Browse the full GI paper archive.