Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations.

Thomas Ellman Takahiro Murata Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations. 291-319 1998 5 Autom. Softw. Eng. 3 db/journals/ase/ase5.html#EllmanM98