Translation validation,” (1998)

by A Pnueli, M Siegel, E Singerman
Venue:in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),