author = {Madalina Erascu and Tudor Jebelean},
title = {{Practical Program Verification by Forward Symbolic Execution: Correctness and Examples}},
booktitle = {{Austrian-Japan Workshop on Symbolic Computation in Software Science}},
language = {english},
number = {08-08},
pages = {47--56},
isbn_issn = { },
year = {2008},
editor = {Bruno Buchberger and Tetsuo Ida and Temur Kutsia},
refereed = {yes},
institution = {RISC Report Series, University of Linz, Austria},
length = {10}