The code validation tool CVT: Automatic verication of a compilation process (1998)

by A Pnueli, O Shtrichman, M Siegel
Venue:STTT