Philipp Wendler
- The group I work at:
Software Systems Lab at University of Passau. - My current area of work is in the CPAchecker project.
- Teaching information and contact address
- Publications
The rest of this site contains mainly older stuff (in German).