Mechanically Verifying Real-Valued Algorithms in ACL2

Mechanically Verifying Real-Valued Algorithms in ACL2 (1999)

by Ruben Antonio Gamboa

Citations:

15 - 6 self

User correction supplied by mph

Datum	Value	Source
TITLE	Mechanically Verifying Real-Valued Algorithms in ACL2	user correction - Legacy Corrections
AUTHOR NAME	Ruben Antonio Gamboa	user correction
AUTHOR AFFIL	The University of Texas at Austin	user correction
ABSTRACT		user correction
YEAR	1999	user correction - Legacy Corrections
CITATIONS	54 found	ParsCit 1.0