First-order theorem proving for program analysis and theory reasoning / von Ioan-Dumitru Dragan. 2015
Inhalt