Translation Validation.

Amir Pnueli, Michael Siegel, Eli Singerman

Browse the full TACAS paper archive.