Florian Mangold
Department:
Address:
Institut für Informatik
Ludwig-Maximilians-Universität München
Oettingenstr. 67
D-80538 München
Germany
Email: mangold (at) informatik.uni-muenchen.de
These are the archived web pages of the Programming and Software Engineering Group (PST).
The web pages of the Software and Computational Systems Lab (SoSy) can be found on https://www.sosy-lab.org/.
