91 function. Private communication (1999)

by J Cowles
Results 1 - 1 of 1

Mechanically Verifying Real-Valued Algorithms in ACL2

by Ruben Antonio Gamboa , 1999
"... ..."
Abstract - Cited by 15 (6 self) - Add to MetaCart
Abstract not found