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

Cached

Download Links

by Xinyu Feng , Zhong Shao Alex
Venue:In PLDI’06
Citations:30 - 13 self