Zhaozhong Ni, Modular verification of assembly code with stack-based control abstractions (0)

by Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang
Venue:PLDI