author : Bishop C. Brock

Short works

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