InterACT: An Interactive Theorem Prover for Algebraic Specifications

Sorry, there's nothing here.

Cite this paper

@inproceedings{Geisler1996InterACTAI, title={InterACT: An Interactive Theorem Prover for Algebraic Specifications}, author={Robert Geisler and Marcus Klar and Felix Cornelius}, booktitle={AMAST}, year={1996} }