@article{MAIS_2013_20_6_a3,
     author = {I. V. Maryasov and V. A. Nepomnyaschy and A. V. Promsky and D. A. Kondratyev},
     title = {Automatic {C} {Program} {Verification} {Based} on {Mixed} {Axiomatic} {Semantics}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {52--63},
     publisher = {mathdoc},
     volume = {20},
     number = {6},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2013_20_6_a3/}
}