Joakim von Wright
Original record- Institution
- Åbo Akademi University
- Year
- 1990
- Country
- Finland
- MGP identifier
- 76402
Dissertation: A lattice-theoretical basis for program refinement
Mathematics Subject Classification: 68—Computer science
Advisors 0
No advisor recorded in this snapshot.
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Orieta Celiku | Åbo Akademi University | 2006 | 0 |
| Lu Yan | Åbo Akademi University | 2005 | 0 |