Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2 (1998)

Cached

Download Links

by Ruben A. Gamboa
Venue:IN THIRD INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR PARALLEL PROGRAMMING: THEORY AND APPLICATIONS
Citations:4 - 2 self