Practical Program Verification by Forward Symbolic Execution (0)

by M Eras¸cu, T Jebelean
Venue:Correctness and Examples, Austrian-Japan Workshop on Symbolic Computation in Software Science