Ivaylo Dobrikov

Latest

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