Edouard Marmier
Original record- Institution
- ETH Zürich
- Year
- 1975
- Country
- Switzerland
- MGP identifier
- 121951
Dissertation: Automatic verification of Pascal programs
Advisors 2
- Erwin EngelerETH Zürich · 1958
- Niklaus Emil WirthUniversity of California, Berkeley · 1963
Students 0
No students recorded in this snapshot.