Translation Validation, in (1998)

by A Pnueli, M Siegel, E Singerman
Venue:Proc. 4th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS