Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие
© 2009-2024, Список Литературы