Title: Formal program verification : a comparison of selected tools and their theoretical foundations
Language: English
Authors: Feinerer, Ingo
Qualification level: Diploma
Advisor: Salzer, Gernot
Issue Date: 2005
Number of Pages: 86
Qualification level: Diploma
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-12860
http://hdl.handle.net/20.500.12708/9603
Library ID: AC04493873
Organisation: E185 - Institut für Computersprachen 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Files in this item:

Show full item record

Page view(s)

16
checked on May 29, 2021

Download(s)

62
checked on May 29, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.