Practical Program Verification by Forward Symbolic Execution: Correctness and Examples (2008)

by Tudor Jebelean
Venue:Austrian-Japan Workshop on Symbolic Computation in Software Science