Tudor Jebelean, Madalina Erascu,
"Verification of Imperative Programs using Symbolic Execution and Forward Reasoning in the Theorema System"
, Serie RISC Report Series, RISC, University of Linz, Altenbergerstraße 69, 4040 Linz, Austria, 7-2007
Original Titel:
Verification of Imperative Programs using Symbolic Execution and Forward Reasoning in the Theorema System
Sprache des Titels:
Englisch
Veröffentlicher:
RISC
Verlagsanschrift:
University of Linz, Altenbergerstraße 69, 4040 Linz, Austria
Serie:
RISC Report Series
Erscheinungsmonat:
7
Erscheinungsjahr:
2007
Anzahl der Seiten:
5
Notiz zur Publikation:
Presented at First Austria-Japan Workshop on Symbolic Computation and Software Verification, Linz, Austria, July 1st 2007