Browsing by Author

Showing results 1 to 1 of 1
PreviewAuthors / EditorsTitleTypeIssue Date
Dragan Ioan-Dumitru - 2015 - First-order theorem proving for program analysis...pdf.jpgDragan, Ioan-Dumitru First-order theorem proving for program analysis and theory reasoningThesis Hochschulschrift 2015