James M. Boyle, R. Daniel Resler, Victor L. Winter. Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers. In 2nd High-Assurance Systems Engineering Workshop (HASE 97), August 11-12, 1997, Washington, DC, USA, Proceedings. pages 14, IEEE Computer Society, 1997. [doi]
Abstract is missing.