External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Prädikatenlogik als Basis für eine Spezifikationssprache

Georg Winterstein, Norbert Heck, Peter Trum. Prädikatenlogik als Basis für eine Spezifikationssprache. 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 312-313, Teubner, 1980.

Authors

Georg Winterstein

This author has not been identified. Look up 'Georg Winterstein' in Google

Norbert Heck

This author has not been identified. Look up 'Norbert Heck' in Google

Peter Trum

This author has not been identified. Look up 'Peter Trum' in Google
runs on