TY  - RPRT
TI  - Deductive Verification of Unmodified Linux Kernel Library Functions
AU  - Denis Efremov
AU  - Mikhail Mandrykin
AU  - Alexey Khoroshilov
PY  - 2018
DO  - 10.1007/978-3-030-03421-4_15
UR  - https://arxiv.org/abs/1809.00626
ID  - 1809.00626
ER  -