Dragan, Ioan-Dumitru
Full name Familienname, Vorname
Dragan, Ioan-Dumitru
Subject
Date issued
Results 1-1 of 1 (Search time: 0.003 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Dragan, Ioan-Dumitru | First-order theorem proving for program analysis and theory reasoning | Thesis Hochschulschrift | 2015 |