Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie. The MOBIUS Proof Carrying Code Infrastructure. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. Volume 5382 of Lecture Notes in Computer Science, pages 1-24, Springer, 2007. [doi]
@inproceedings{BartheCGJP07,
title = {The MOBIUS Proof Carrying Code Infrastructure},
author = {Gilles Barthe and Pierre Crégut and Benjamin Grégoire and Thomas P. Jensen and David Pichardie},
year = {2007},
doi = {10.1007/978-3-540-92188-2_1},
url = {http://dx.doi.org/10.1007/978-3-540-92188-2_1},
researchr = {https://researchr.org/publication/BartheCGJP07},
cites = {0},
citedby = {0},
pages = {1-24},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures},
editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
volume = {5382},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-92187-5},
}