Abstract : Technical perspective on the CACM Research Highlight paper "Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System", by Jean Yang and Chris Hawblitzel
https://hal.inria.fr/hal-01091803
Contributeur : Xavier Leroy
<>
Soumis le : samedi 6 décembre 2014 - 17:59:05
Dernière modification le : vendredi 25 mai 2018 - 12:02:07
