О работах по созданию доверенного программно-аппаратного обеспечения для синтеза безопасных компьютерных систем логического управления на базе русского языка программирования
Источник: Решетневские чтения : материалы XVII Международной научной конференции, посвященной памяти генерального конструктора ракетно-космических систем академика М. Ф. Решетнева, 12–14 ноября 2013 г., Красноярск : в 2 ч.. Красноярск, 2013. Ч. 2. С. 275-277