The MOBIUS Proof Carrying Code Infrastructure [chapter]

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie
2008 Lecture Notes in Computer Science  
doi:10.1007/978-3-540-92188-2_1 fatcat:a4sdtprwgvc7fnmp7qflsq35ca