Publications in Scientific Journals:
T. Pani, H. Veith, F. Zuleger:
"Loop Patterns in C Programs";
ECEASST,
72
(2015).
Electronic version of the publication:
http://journal.ub.tu-berlin.de/eceasst/article/view/1014
Created from the Publication Database of the Vienna University of Technology.