Workshop über Rigorose Entwicklung software-intensiver Systeme

Informatik aktuell - Informatik 2000 ◽

10.1007/978-3-642-58322-3_35 ◽

2000 ◽

pp. 465-466

Author(s):

M. Wirsing ◽

M. Gogolla ◽

H.-J. Kreowski ◽

T. Nipkow ◽

W. Reif

Download Full-text