Verifying Low-Level Implementations of High-Level Datatypes.

Christopher L. Conway, Clark W. Barrett

Browse the full CAV paper archive.