Madalina Erascu
Original record- Institution
- Research Institute for Symbolic Computation (RISC), Linz
- Year
- 2012
- Country
- Austria
- MGP identifier
- 176994
Dissertation: Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms
Advisors 2
- Hoon HongThe Ohio State University · 1990
- Tudor JebeleanJohannes Kepler Universität Linz · 1994
Students 0
No students recorded in this snapshot.