Luciano Barreto, Aline Andrade, Adolfo Duran, Caique Lima, Ademilson Lima. Abstract specification and formalization of an operating system kernel in Z. Operating Systems Review, 45(1):156-160, 2011. [doi]
@article{BarretoADLL11,
title = {Abstract specification and formalization of an operating system kernel in Z},
author = {Luciano Barreto and Aline Andrade and Adolfo Duran and Caique Lima and Ademilson Lima},
year = {2011},
doi = {10.1145/1945023.1945042},
url = {http://doi.acm.org/10.1145/1945023.1945042},
tags = {operating system},
researchr = {https://researchr.org/publication/BarretoADLL11},
cites = {0},
citedby = {0},
journal = {Operating Systems Review},
volume = {45},
number = {1},
pages = {156-160},
}