Title of article
Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations
Author/Authors
Thomas Ellman and Takahiro Murata ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1998
Pages
29
From page
291
To page
319
Keywords
program synthesis , Deduction , Numerical simulation
Journal title
Automated Software Engineering
Serial Year
1998
Journal title
Automated Software Engineering
Record number
307034
Link To Document