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

by X Feng, Z Shao, A Vaynberg, S Xiang, Z Ni
Venue:In PLDI