Open AccessSynthesis of Information Security System by Means of SMT-Solvers
Author(s) -
Gleb Popov,
T. V. Tikhomirovа
Publication year - 2018
Publication title -
vestnik volgogradskogo gosudarstvennogo universiteta. seriâ 10. innovacionnaâ deâtelʹnostʹ
Language(s) - English
Resource type - Journals
eISSN - 2409-2398
pISSN - 2305-7815
DOI - 10.15688/jvolsu10.2017.3.2
Subject(s) - computer science , software engineering