Record link: 
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-12860
http://hdl.handle.net/20.500.12708/9603
-
Title: 
Formal program verification : a comparison of selected tools and their theoretical foundations
en
Citation: 
Feinerer, I. (2005). Formal program verification : a comparison of selected tools and their theoretical foundations [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-12860
-
CatalogPlus: 
AC04493873
-
Publication Type: 
Thesis - Diplomarbeit
en
Language: 
English
-
Authors: 
Feinerer, Ingo
-
Advisor: 
Salzer, Gernot
-
Organisational Unit: 
E185 - Institut für Computersprachen 
-
Date (published): 
2005
-
Number of Pages: 
86
-
Additional information: 
Zsfassung in dt. Sprache
-
License: 
In Copyright
de
Appears in Collections:
Thesis

Thumbnail
Fulltext (Version of Record (published version))
Adobe PDF
(416.59 kB)
Open Access In Copyright
Show full item record

Page view(s)

248
checked on Nov 23, 2023

Download(s)

79
checked on Nov 23, 2023

Google ScholarTM

Check