Logical Characterization of Coherent Uninterpreted Programs.

Hari Govind V. K., Sharon Shoham, Arie Gurfinkel

Browse the full FMCAD paper archive.