A Symbolic Simulation Approach to Assertional Program Verification (2005)

by John Matthews , J Strother Moore , Sandip Ray , Daron Vroon
Citations:4 - 2 self