Publication | Closed Access

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