ACL2SIX: A hint used to integrate a theorem prover and an automated verification tool (0)

by J Sawada, E Reeber
Venue:in FMCAD