Elodie-Jane Sims
Original record- Institution
- de l'École Polytechnique/Ph.D. Kansas State University and École Polytechnique
- Year
- 2007
- Country
- United States
- MGP identifier
- 170047
Dissertation: Pointer Analysis and Separation Logic
Mathematics Subject Classification: 68—Computer science
Advisors 2
- David Arlen SchmidtKansas State University · 1981
- Radhia CousotInstitut National Polytechnique de Lorraine · 1985
Students 0
No students recorded in this snapshot.