Constraint Reasoning with Differential Equations

Jorge Cruz, Pedro Barahona,

Publisher	Anglia Polytechnic University (APU), Cambridge, UK
Publisher	Anglia Polytechnic University (APU), Cambridge, UK

Publication