A platform for combining deductive with algorithmic verification (1996)

by Amir Pnueli, Elad Shahar
Venue:In CAV, volume 1102 of LNCS