Gerwin Klein. The L4.verified Project - Next Steps. In Gary T. Leavens, Peter W. O Hearn, Sriram K. Rajamani, editors, Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings. Volume 6217 of Lecture Notes in Computer Science, pages 86-96, Springer, 2010. [doi]
Abstract is missing.