Benjamin Braatz

Scientific Assistant

Fachgebiet Theoretische Informatik / Formale Spezifikation
(Department Theoretical Computer Science / Formal Specification)

Institut für Softwaretechnik und Theoretische Informatik
(Institute for Software Engineering and Theoretical Computer Science)

Fakultät IV - Elektrotechnik und Informatik
(Faculty IV - Electrical Engineering and Computer Science)

Technische Universität Berlin
(Technical University Berlin)

You may also want to visit my private home page at http://www.heptasean.de/.