TAME: A PVS interface to simplify proofs for automata models (1998)

by M Archer, C Heitmeyer, S Sims
Venue:In User Interfaces for Theorem Provers