Jan Vytopil
Original record- Institution
- Rensselaer Polytechnic Institute
- Year
- 1978
- Country
- United States
- MGP identifier
- 83788
Dissertation: Invariant Assertion Synthesis And Theorem Generalization In Program Verification
Mathematics Subject Classification: 68—Computer science
Advisor 1
- S. Kamal AbdaliUniversity of Wisconsin-Madison · 1974
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Ron Koymans | Technische Universiteit Eindhoven | 1989 | 0 |
| Thijs Krol | Technische Universiteit Eindhoven | 1991 | 5 |
| Ronald Peter Helena Maria Schoenmakers | Katholieke Universiteit Nijmegen | 1995 | 0 |
| Louis Gerard Vuurpijl | Katholieke Universiteit Nijmegen | 1998 | 0 |
| M.J. Wieczorek | Radboud Universiteit Nijmegen | 1994 | 0 |