Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell. Formally Verified System Initialisation. In Lindsay Groves, Jing Sun 0002, editors, Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings. Volume 8144 of Lecture Notes in Computer Science, pages 70-85, Springer, 2013. [doi]
Abstract is missing.