Prof. Dr.

Rolf Hennicker

Dept. of Computer Science
University of Munich
Germany
Research topics: Formal Methods in Software Engineering, Component-based Software Specification and Development, Object-oriented Software Engineering, Algebraic Specification, Environmental Simulation Systems (updated at 2012-07-02)
http://www.pst.ifi.lmu.de/people/staff/hennicker/hennicker?set_language=en