An AMBA−ARM7 Formal Verification Platform (Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods‚ ICFEM 2003: Singapore‚ November 5–7‚ 2003: Proceedings, 2003)

(untitled) - Susanto, K; Melham, T