Mechanically Verifying Real-Valued Algorithms in ACL2 (1999)

by Ruben Antonio Gamboa
Citations:15 - 6 self