Berend Ate Sijtsma
Original record- Institution
- Rijksuniversiteit Groningen
- Year
- 1988
- Country
- Netherlands
- MGP identifier
- 302715
Dissertation: Verification and derivation of infinite-list programs
Advisors 2
- Roland Carl BackhouseUniversity of London · 1975
- Willem Hendrik HesselinkUniversiteit Utrecht · 1975
Students 0
No students recorded in this snapshot.