author : Warren A. Hunt Jr

Short works

• Formal Analysis of the Motorola CAP DSP. 1999. (In Industrial-Strength Formal Methods in Practice )