1. Lecture Notes in Computer Science;P.A. Abdulla,2006
2. Burgstaller, B.: Symbolic Evaluation of Imperative Programming Languages. Technical Report 183/1-138, Department of Automation, Vienna University of Technology (June 2005), Available at http://www.auto.tuwien.ac.at/~bburg/reports.html
3. Lecture Notes in Computer Science;B. Burgstaller,2006
4. Burgstaller, B., Scholz, B., Blieberger, J.: Tour de Spec — A Collection of Spec95 Program Paths and Associated Costs for Symbolic Evaluation. Technical Report 183/1-137, Department of Automation, Vienna University of Technology (June 2004) Available at http://www.auto.tuwien.ac.at/~bburg/reports.html
5. LNCS;B. Burgstaller,2006