Романов Александр Сергеевич

канд. техн. наук, доцент кафедры БИС, Томский государственный университет систем управления и радиоэлектроники,

РФ, г. Томск

Научный руководитель в статьях на сайте sibac.info

• ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ СМАРТ-КОНТРАКТОВ В БАНКОВСКОЙ СФЕРЕ