Symbolic Animation as a Proof Tool (1994)

by J Camilleri, V Zammit
Venue:In HOL Theorem Proving System and its Applications. Springer-Verlag LNCS 859