A Symbolic Simulation Approach to Assertional Program Verification (2005)

by John Matthews , J Strother Moore , Sandip Ray , Daron Vroon
Citations:3 - 1 self