%0 Journal Article %1 journals/pcs/MandrykinK16a %A Mandrykin, Mikhail U. %A Khoroshilov, Alexey V. %D 2016 %J Programming and Computer Software %K dblp %N 5 %P 324-332 %T Towards deductive verification of C programs with shared data. %U http://dblp.uni-trier.de/db/journals/pcs/pcs42.html#MandrykinK16a %V 42

@article{journals/pcs/MandrykinK16a, added-at = {2016-09-16T00:00:00.000+0200}, author = {Mandrykin, Mikhail U. and Khoroshilov, Alexey V.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/299d659cbb5e0667406d677429993b618/dblp}, ee = {http://dx.doi.org/10.1134/S0361768816050054}, interhash = {951d4c3753c62825af9ba95495a796b7}, intrahash = {99d659cbb5e0667406d677429993b618}, journal = {Programming and Computer Software}, keywords = {dblp}, number = 5, pages = {324-332}, timestamp = {2016-09-17T09:32:28.000+0200}, title = {Towards deductive verification of C programs with shared data.}, url = {http://dblp.uni-trier.de/db/journals/pcs/pcs42.html#MandrykinK16a}, volume = 42, year = 2016 }