author = {Madalina Erascu},
title = {{Automated Formal Static Analysis and Retrieval of Source Code}},
language = {english},
year = {2008},
month = {August},
note = {in RISC Raport Series 08-21},
translation = {0},
school = {International School for Informatics - Johannes Kepler University },
length = {0},
type = {Diploma Thesis}