ISSE

Search

The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV

G. Schellhorn and W. Ahrendt

The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV

published 1998 in: Dordrecht W. Bibel and P. Schmitt, editors, Automated Deduction - A Basis for Applications. Volume III: Applications, Chapter 3: Automated Theorem Proving in Software Engineering

Publisher: Kluwer Academic Publishers


Downloads: