Xavier Leroy. Mechanized semantics - with applications to program proof and compiler verification. In Javier Esparza, Bernd Spanfelner, Orna Grumberg, editors, Logics and Languages for Reliability and Security. Volume 25 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 195-224, IOS Press, 2010. [doi]
Abstract is missing.