Bernhard Beckert, Claude Marché (Eds.):
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers.
Lecture Notes in Computer Science 6528 Springer 2011, ISBN 978-3-642-18069-9
June Andronick: From a Proven Correct Microkernel to Trustworthy Large Systems.
1-9
data released under the ODC-BY 1.0 license
