PhD - Constraint Reasoning for Differential Models

Authors

Post-Graduation Jury: Margarida Mamede
Post-Graduation Supervisor: Pedro Barahona
Post-Graduation by: Jorge Cruz