Translation Validation: From DC+ to C*.

Amir Pnueli, Ofer Strichman, Michael Siegel

Browse the full FM paper archive.