ISSE

Search

Proving Properties of Finite Enumerations: A Problem Set for Automated Theorem Provers

G. Schellhorn and W. Reif

Proving Properties of Finite Enumerations: A Problem Set for Automated Theorem Provers

published 1997 in: Universität Ulm, Fakultät für Informatik Ulmer Informatik-Berichte 97-12


Downloads: