[Back]
Herbert Prähofer
Johannes Kepler University, Institute for System Software, CD Lab for Automated Software Engineering