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

### Cached

### Download Links

- [www.loria.fr]
- [www.lim.com]
- [www.lim.com]
- DBLP

### Other Repositories/Bibliography

by
Ruben A. Gamboa

Venue: | IN THIRD INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR PARALLEL PROGRAMMING: THEORY AND APPLICATIONS |

Citations: | 4 - 2 self |