Implementational issues for verifying RISC--pipeline conflicts (1994)

by S Tahar, R Kumar
Venue:in HOL. Springer LNCS 859