Structural Abstraction of Software Verification Conditions.

Domagoj Babic, Alan J. Hu

Browse the full CAV paper archive.