Login / Signup

Translation Validation for Synchronous Languages.

Amir PnueliOfer StrichmanMichael Siegel
Published in: ICALP (1998)
Keyphrases