Lutz Hirschmann

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1982

1 Lutz Hirschmann: Ein System zur rechnerunterstützten Spezifikation. Fachtagung über Programmiersprachen 1982: 79-91