Universelle Spezifikationen? - Bestimmungsfaktoren für die Brauchbarkeit von Spezifikationsmethoden

Werner Simonsmeier. Universelle Spezifikationen? - Bestimmungsfaktoren für die Brauchbarkeit von Spezifikationsmethoden. 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 275-276, Teubner, 1980.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.