%0 Journal Article %1 journals/pcs/MandrykinK16 %A Mandrykin, Mikhail U. %A Khoroshilov, Alexey V. %D 2016 %J Programming and Computer Software %K dblp %N 5 %P 257-278 %T Region analysis for deductive verification of C programs. %U http://dblp.uni-trier.de/db/journals/pcs/pcs42.html#MandrykinK16 %V 42

@article{journals/pcs/MandrykinK16, 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/2bda34fadcdd0b0f875483f3b5004b57b/dblp}, ee = {http://dx.doi.org/10.1134/S0361768816050042}, interhash = {7a51044e1f94753126ab5c6e2b66d774}, intrahash = {bda34fadcdd0b0f875483f3b5004b57b}, journal = {Programming and Computer Software}, keywords = {dblp}, number = 5, pages = {257-278}, timestamp = {2016-09-17T09:32:28.000+0200}, title = {Region analysis for deductive verification of C programs.}, url = {http://dblp.uni-trier.de/db/journals/pcs/pcs42.html#MandrykinK16}, volume = 42, year = 2016 }