VM Miskiv, I Prudyus… - … Conference on Information …, 2017 - ieeexplore.ieee.org
This paper considers the problem of forming formal statements regarding the formal
parameters of binary code sequences, mathematical model transformations, their properties …