Formal Methods and Tools group at the University of Twente, Enschede and (part-time) Department of Software Science at Radboud University, Nijmegen.
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