TAME: A PVS Interface to Simplify Proofs for Automata Models (1998)

by Myla Archer , Constance Heitmeyer , Steve Sims
Venue:In Proc. User Interfaces for Theorem Provers 1998 (UITP '98
Citations:49 - 13 self