%0 Book
%A  Jorge Cruz.
%T Constraint reasoning for differential models /
%U /book/90398430/Constraint-reasoning-for-differential-models/