Lava
- 29 September 1998
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 34 (1) , 174-184
- https://doi.org/10.1145/289423.289440
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Mechanically verifying the correctness of the Fast Fourier Transform in ACL2Published by Springer Nature ,1998
- GandalfJournal of Automated Reasoning, 1997
- Otter - The CADE-13 Competition IncarnationsJournal of Automated Reasoning, 1997