Translation validation

Amir Pnueli, Michael Siegel, Eli Singerman
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Tools and Algorithms for the Construction and Analysis of Systems
Springer
Pages 151-166
1998
Note(s): translation validation

Translation validation