Formal Verification of ASM Designs using the MDG Tool (2003)

by A Gawanmeh, S Tahar, Kirsten Winter
Venue:Software Engineering and Formal Methods, IEEE Computer Society