Browsing

Showing results 1 to 1 of 1
PreviewAuthors / EditorsTitleTypeIssue Date
Rainer-Harbach Marian - 2011 - Methods and tools for the formal verification of...pdf.jpgRainer-Harbach, Marian Methods and tools for the formal verification of software : an analysis and comparisonThesis Hochschulschrift 2011