Bibliographic Metadata

Title
Formal program verification : a comparison of selected tools and their theoretical foundations / Ingo Feinerer
AuthorFeinerer, Ingo
CensorSalzer, Gernot
Published2005
Description86 Bl. : graph. Darst.
Institutional NoteWien, Techn. Univ., Dipl.-Arb., 2005
Annotation
Zsfassung in dt. Sprache
LanguageEnglish
Bibl. ReferenceOeBB
Document typeThesis (Diplom)
URNurn:nbn:at:at-ubtuw:1-12860 Persistent Identifier (URN)
Restriction-Information
 The work is publicly available
Files
Formal program verification [0.4 mb]
Links
Reference
Classification
Stats
The PDF-Document has been downloaded 36 times.