ISSE

Search

Proving Properties of Directed Graphs: A Problem Set for Automated Theorem Provers

G. Schellhorn

Proving Properties of Directed Graphs: A Problem Set for Automated Theorem Provers

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


Downloads: