Technical Reports on Symbolic Analysis
Department of Automation
E183/1
Vienna University of Technology
Treitlstr. 1/E183/1
A-1040 Vienna, Austria
Symbolic Evaluation of Imperative Programming Languages:
TR138_Symbolic Evaluation.pdf
Tour de Spec --- A Collection of Spec95 Program Paths and Associated Costs
for Symbolic Evaluation:
TR137_TourDeSpec.pdf
Contact Information: Bernd Burgstaller, bburg AT it DOT usyd DOT edu DOT au