Deductive verification of continuous dynamical systems (0)

by A Taly, A Tiwari
Venue:In FSTTCS09, LIPIcs