BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@mastersthesis{TUW-140960,
    author = {Kirner, Martin},
    title = {Automatic Loop Bound Analysis of Programs written in C},
    school = {Institut f{\"u}r Technische Informatik},
    year = {2006}
}


1 Datensatz ausgegeben