Abstract interpretation based certification of assembly code (2003)

by X Rival
Venue:In Int. Conf. on Verif., Model Checking, and Abs. Int