Tudor Jebelean, Madalina Erascu,
"Practical Program Verification by Forward Symbolic Execution: Correctness and Examples"
, in Bruno Buchberger, Tetsuo Ida, Temur Kutsia: Austrian-Japan Workshop on Symbolic Computation in Software Science, Nummer 08-08, Seite(n) 47-56, 2008
Original Titel:
Practical Program Verification by Forward Symbolic Execution: Correctness and Examples
Sprache des Titels:
Englisch
Original Buchtitel:
Austrian-Japan Workshop on Symbolic Computation in Software Science