A Deductive Refinement Calculus for Differential-Algebraic Programs.

Jonathan Hellwig, Long Qian, Andr Platzer

Browse the full IJCAR paper archive.