Armand Puccetti. Static Analysis of the XEN Kernel using Frama-C. J. UCS, 16(4):543-553, 2010. [doi]
@article{Puccetti10,
title = {Static Analysis of the XEN Kernel using Frama-C},
author = {Armand Puccetti},
year = {2010},
doi = {10.3217/jucs-016-04-0543},
url = {http://dx.doi.org/10.3217/jucs-016-04-0543},
tags = {analysis, static analysis, C++},
researchr = {https://researchr.org/publication/Puccetti10},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {16},
number = {4},
pages = {543-553},
}