A. V. Kozachok, E. V. Kochetkov. Prototype of a Verified Program Code Execution System. Programming and Computer Software, 44(3):190-199, 2018. [doi]
@article{KozachokK18,
title = {Prototype of a Verified Program Code Execution System},
author = {A. V. Kozachok and E. V. Kochetkov},
year = {2018},
doi = {10.1134/S0361768818030039},
url = {https://doi.org/10.1134/S0361768818030039},
researchr = {https://researchr.org/publication/KozachokK18},
cites = {0},
citedby = {0},
journal = {Programming and Computer Software},
volume = {44},
number = {3},
pages = {190-199},
}