DMCA

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

by André Platzer , Jan-David Quesel
Venue:IJCAR. VOLUME 5195 OF LNCS
Citations:54 - 23 self