Peter Sutter
Original record- Institution
- Universität Innsbruck
- Year
- 1976
- Country
- Austria
- MGP identifier
- 19762
Dissertation: Implementierung einer Metasprache zur Definition von auf symbolischen Daten operierenden Interpretern und ihr Einsatz in der Programmverifikation
Advisor 1
- Bruno BuchbergerUniversität Innsbruck · 1966
Students 0
No students recorded in this snapshot.