Кафедра «Технологии программирования»: Свидетельства: Программное средство для автоматической проверки контрактов и темпоральных спецификаций в среде <i>MPS</i>