"Verification of safety properties for concurrent assembly code."

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