author : Mandayam K. Srivas

Short works

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