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.
RWTH Aachen University, Germany, and (part-time) Vienna Institute for Biotechnology, BOKU, Vienna, Austria.
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