author : Steve P. Miller

Short works

• Formal Verification of the AAMP5 Microprocessor. 1995. (In Applications of Formal Methods )