Formal Methods and Tools group at RWTH Aachen University, Aachen, Germany.
Software Modelling and Verification group, RWTH Aachen University, Aachen, Germany and (part-time) Formal Methods and Tools group at the University of Twente, Enschede.
Formal Methods and Tools group at Eindhoven University of Technology.
Software Modelling and Verification group, RWTH Aachen University. Formal Methods Group at DGB Technologies
Formal Methods Group at DGB Technologies
Formal Methods Group at DGB Technologies