Deductive Stability Proofs for Ordinary Differential Equations.

Yong Kiam Tan, Andr Platzer

Browse the full TACAS paper archive.