Browsing Feinerer, Ingo

Showing results 1 to 2 of 2
PreviewAuthors / EditorsTitleTypeIssue Date
Feinerer Ingo - 2005 - Formal program verification a comparison of selected...pdf.jpgFeinerer, IngoFormal program verification : a comparison of selected tools and their theoretical foundationsThesis Hochschulschrift 2005
Feinerer Ingo - 2007 - A formal treatment of UML class diagrams as an efficient...pdf.jpgFeinerer, IngoA formal treatment of UML class diagrams as an efficient method for configuration managementThesis Hochschulschrift 2007