Modular verification of assembly code with stack-based control abstractions (2006)

by X Feng, Z Shao, A Vaynberg, S Xiang, Z Ni
Venue:In Proc. 2006 ACM Conference on Programming Language Design and Implementation