Mikhail U. Mandrykin, Alexey V. Khoroshilov. Towards deductive verification of C programs with shared data. Programming and Computer Software, 42(5):324-332, 2016. [doi]
@article{MandrykinK16a,
title = {Towards deductive verification of C programs with shared data},
author = {Mikhail U. Mandrykin and Alexey V. Khoroshilov},
year = {2016},
doi = {10.1134/S0361768816050054},
url = {http://dx.doi.org/10.1134/S0361768816050054},
researchr = {https://researchr.org/publication/MandrykinK16a},
cites = {0},
citedby = {0},
journal = {Programming and Computer Software},
volume = {42},
number = {5},
pages = {324-332},
}