Daniel Plagge

Latest

• From Animation to Data Validation: The ProB Constraint Solver 10 Years On