Formal analysis of the motorola CAP DSP (1999)

by B Brock, W A Hunt
Venue:In Industrial-Strength Formal Methods