Formal analysis of the motorola (1999)

by B Brock, W A Hunt
Venue:CAP DSP,” in Industrial-Strength Formal Methods