Erfahrungen mit Spezifikationsmehtoden beim Programmkonstruktionspraktikum

Hans H. Kron. Erfahrungen mit Spezifikationsmehtoden beim Programmkonstruktionspraktikum. In Christiane Floyd, Hermann Kopetz, editors, Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin. Volume 5 of Berichte des German Chapter of the ACM, pages 288-289, Teubner, 1980.

Abstract

Abstract is missing.