ISSE

Search

Verification of a Prolog Compiler - First Steps with KIV

G. Schellhorn and W. Ahrendt

Verification of a Prolog Compiler - First Steps with KIV

published 1996 in: Universität Ulm, Fakultät für Informatik Ulmer Informatik-Berichte 96-05


Downloads: