Joachim Lenzer

• Formale Beschreibung von Rechnerarchitekturen und Programmsprachen