Structural Abstraction of Software Verification Conditions

Alan J. Hu
CAV (2007), pp. 366-378

Abstract