Using the state delta verification system (1992)

by B Levy, I Filippenko, L Marcus, T Menas
Venue:In Proc. IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design