Dr. Henrik Bohnenkamp

Address Rheinisch-Westfälische Technische Hochschule Aachen
Lehr- und Forschungsgebiet Informatik II
- Programmiersprachen und Verifikation -
52056 Aachen