Сергей Яхонтов

Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ

Сергей Яхонтов

Подробнее...