Шапкин П.А.

2024

1. Совмещенная система логического вывода и динамической верификации спецификаций программных компонентов Информационно-измерительные и управляющие системы, №5 за 2024 г. С. 69-79