KeYmaera: A hybrid theorem prover for hybrid systems (2008)

by André Platzer, Jan-DavidQuesel
Venue:In Automated Reasoning, LNCS 5195