Mechanically Verifying Real-Valued Algorithms in ACL2 (1999)

by Ruben Antonio Gamboa
Citations:18 - 8 self