Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
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
Fulltext (Version of Record (published version))
Adobe PDF
(416.59 kB)
In Copyright
Show full item record
Google Scholar
TM
Check