"Verification of safety properties for concurrent assembly code."

Dachuan Yu, Zhong Shao (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics