Formale Softwareentwicklungsmethoden in der Ausbildung

Uwe Schmidt. Formale Softwareentwicklungsmethoden in der Ausbildung. In Jörg Raasch, Thomas Bassler, editors, Software Engineering im Unterricht der Hochschulen SEUH 93, Workshop des German Chapter of the ACM und der Gesellschaft für Informatik (GI) am 25. und 26. Februar 1993 in Hamburg. Volume 38 of Berichte des German Chapter of the ACM, pages 115-124, Teubner, 1993.

Abstract

Abstract is missing.