Advertisement

Journal of Automated Reasoning

, Volume 42, Issue 2–4, pp 123–124 | Cite as

Operating System Verification

  • Gerwin Klein
  • Ralf Huuck
  • Bastian Schlich
Article

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  1. 1.NICTA and University of New South WalesSydneyAustralia
  2. 2.Embedded Software LaboratoryRWTH Aachen UniversityAachenGermany

Personalised recommendations