A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study | IEEE Conference Publication | IEEE Xplore