Deriving correctness properties of compiled code (1992)

by P Curzon
Venue:Proceedings of the International Workshop on Higher Order Logic Theorem Proving and its Applications