ACL2 Essentials

Advances in Formal Methods - Computer-Aided Reasoning ◽

10.1007/978-1-4757-3188-0_4 ◽

2000 ◽

pp. 27-37 ◽

Cited By ~ 1

Author(s):

Matt Kaufmann ◽

Panagiotis Manolios ◽

J. Strother Moore

Download Full-text