Formal verification of asm designs using the mdg tool (2003)

by A Gawanmeh, S Tahar, K Winter
Venue:In Software Engineering and Formal Methods, 2003. Proceedings. First International Conference on