Immo Grabe


Ph.D. Universiteit Leiden 2013 Netherlands
Dissertation: Static Analysis of Unbounded Structures in Object-Oriented Programs

Advisor 1: Frank Sipke de Boer
Advisor 2: Martin Steffen

No students known.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 295315 for the advisor ID.