Formal logical language to set requirements for secure code execution

A. V. Kozachok. Formal logical language to set requirements for secure code execution. Programming and Computer Software, 43(5):314-319, 2017. [doi]

Bibliographies