Contact

Responsible for these web pages:

• Joost-Pieter Katoen
• Software Modeling and Verification (MOVES)
• RWTH Aachen University, Aachen, Germany
• E-mail: last_name [at] cs [dot] rwth-aachen [dot] de
• Phone: +49 (0)241 8021200

For technical questions, contact

• Friedrich Gretz
• Software Modeling and Verification (MOVES)
• RWTH Aachen University, Aachen, Germany
• E-mail: webmaster [at] etaps [dot] org
• Phone: +49 (0)241 8021203