Inwieweit sind Spezifikationssprachen Programmiersprachen? Versuch eines systematischen Ansatzes

Jan Witt. Inwieweit sind Spezifikationssprachen Programmiersprachen? Versuch eines systematischen Ansatzes. 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 314-315, Teubner, 1980.

Abstract

Abstract is missing.