ISSE

Search

Structured specifications and interactive proofs with KIV

W. Reif, G. Schellhorn, K. Stenzel, and M. Balser

Structured specifications and interactive proofs with KIV.

published 1998 in: Dordrecht W. Bibel and P. Schmitt, editors, Automated Deduction - A Basis for Applications

Publisher: Kluwer Academic Publishers


Downloads: