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

by Tudor Jebelean
Venue:Austrian-Japan Workshop on Symbolic Computation in Software Science
Citations:5 - 4 self

Document Versions

Practical Program Verification by Forward Symbolic Execution: Correctness and Examples –Tudor Jebelean — 2008 — Austrian-Japan Workshop on Symbolic Computation in Software Science