Operating system verification
Authors
NICTA
UNSW
RWTH Aachen University
Abstract
This is the editorial for the JAR special issue on Operating System Verification.
BibTeX Entry
@article{Klein_HS_09, month = apr, paperurl = {https://ts.data61.csiro.au/publications/nicta_full_text/1811.pdf}, journal = {Journal of Automated Reasoning}, volume = {42}, number = {2-4}, author = {Klein, Gerwin and Huuck, Ralf and Schlich, Bastian}, year = {2009}, pages = {123--124}, title = {Operating System Verification} }