"Formal verification of translation validators: a case study on instruction ..."

Jean-Baptiste Tristan, Xavier Leroy (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics