A platform for combining deductive with algorithmic verification (1996)

by A Pnueli, E Shahar
Venue:Proc. CAV ’96. LNCS 1102