Bibliographic Metadata

Title
Automatic loop bound analysis of programs written in C / Martin Kirner
AuthorKirner, Martin
CensorPuschner, Peter ; Kirner, Raimund
Published2006
DescriptionIX, 84 Bl. : graph. Darst.
Institutional NoteWien, Techn. Univ., Mag.-Arb., 2006
Annotation
Zsfassung in dt. Sprache
LanguageEnglish
Bibl. ReferenceOeBB
Document typeMaster Thesis
URNurn:nbn:at:at-ubtuw:1-32872 Persistent Identifier (URN)
Restriction-Information
 The work is publicly available
Files
Automatic loop bound analysis of programs written in C [0.68 mb]
Links
Reference
Classification
Stats
The PDF-Document has been downloaded 39 times.