A. V. Kozachok. Formal logical language to set requirements for secure code execution. Programming and Computer Software, 43(5):314-319, 2017. [doi]
@article{Kozachok17,
title = {Formal logical language to set requirements for secure code execution},
author = {A. V. Kozachok},
year = {2017},
doi = {10.1134/S036176881705005X},
url = {https://doi.org/10.1134/S036176881705005X},
researchr = {https://researchr.org/publication/Kozachok17},
cites = {0},
citedby = {0},
journal = {Programming and Computer Software},
volume = {43},
number = {5},
pages = {314-319},
}