D.: High-speed, analyzable simulators (2000)

by D Greve, M Wilding, Hardin
Venue:Computer-Aided Reasoning: ACL2 Case Studies