Translation Validation for Synchronous Languages.

Amir Pnueli, Ofer Strichman, Michael Siegel

Browse the full ICALP paper archive.