ISSE

Search

Theorems from Compiler Verification: A Problem Set for Automated Theorem Provers

G. Schellhorn and W. Reif

Theorems from Compiler Verification: A Problem Set for Automated Theorem Provers

published 1998 in: Universität Ulm, Fakultät für Informatik Ulmer Informatik-Berichte 98-13


Downloads: