Linear and nonlinear arithmetic in ACL2 (2003)

by Warren A. Hunt , Robert Bellarmine Krug , J Moore
Venue:Correct Hardware Design and Verification Methods, Proceedings of CHARME 2003
Citations:11 - 0 self