![](/img/cover-not-exists.png)
Abstract specification and formalization of an operating system kernel in Z
Barreto, Luciano, Andrade, Aline, Duran, Adolfo, Lima, Caique, Lima, AdemilsonVolume:
45
Language:
english
Journal:
ACM SIGOPS Operating Systems Review
DOI:
10.1145/1945023.1945042
Date:
February, 2011
File:
PDF, 323 KB
english, 2011