Structural Abstraction of Software Verification Conditions

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

Abstract

Research Areas