Linear and nonlinear arithmetic in ACL2 (2003)

by W A Hunt, R B Krug, J Moore
Venue:in D. Geist and E. Tronci, eds, ‘Proceedings of the 12th IFIP WG 10.5 Conference on Correct Hardware Design and Verification Methods (CHARME 2003