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.

Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen

Rudolf Berghammer, Bettina Buth, Karl-Heinz Buth. Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen. In Andreas Spillner 0002, Ulrich Breymann, editors, Software Engineering im Unterricht der Hochschulen SEUH 95, Workshop des German Chapter of the ACM und der Gesellschaft für Informatik (GI) am 23. und 24. Februar 1995 in Bremen. Volume 44 of Berichte des German Chapter of the ACM, pages 11-21, Teubner, 1995.

Abstract

Abstract is missing.

runs on