Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Jesús Mauricio Chimento, Carlos Luna. Formally Verified Implementation of an Idealized Model of Virtualization. In Ralph Matthes, Aleksy Schubert, editors, 19th International Conference on Types for Proofs and Programs, TYPES 2013, April 22-26, 2013, Toulouse, France. Volume 26 of LIPIcs, pages 45-63, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]
Abstract is missing.