home
>
book reviews
> Bishop C. Brock
Google >
Bishop C. Brock
author : Bishop C. Brock
Short works
Formal Analysis of the Motorola CAP DSP. 1999.
(In
Industrial-Strength Formal Methods in Practice
)