Software Engineering und formale Verfahren

Herbert Klaeren. Software Engineering und formale Verfahren. In Jochen Ludewig, Kurt Schneider, editors, Software Engineering im Unterricht der Hochschulen - Studienführer Software Engineering, Workshop des German Chapter of the ACM und der Gesellschaft für Informatik (GI) am 27. und 28. Februar 1992 in Stuttgart. Volume 37 of Berichte des German Chapter of the ACM, pages 48-50, Teubner, 1992.

Abstract

Abstract is missing.