A Methodology for the Formal Verification of FFT Algorithms in HOL - Sciweavers

17

click to vote

more FMCAD 2004 ...

www.cl.cam.ac.uk

Tweet