Mechanically Verifying Real-Valued Algorithms in ACL2 (1999)

by Ruben Antonio Gamboa
Citations:15 - 6 self

Document Versions

Mechanically Verifying Real-Valued Algorithms in ACL2 –Ruben Antonio Gamboa — 1999
Mechanically Verifying Real-Valued Algorithms in ACL2 –Ruben A. Gamboa — 1998