Бочкарева Ю.Г., Клянчин В.К., Чижухин Г.Н. Системный подход к безопасности технологии верифицированного автоматизированного проектирования программ // Современные наукоемкие технологии
.
URL: http://econf.rae.ru/article/675 (дата обращения: 02.04.2025).