"A Comparison of Two Verification Methods for Speculative Instruction ..."

Tamarah Arons, Amir Pnueli (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics