Клебанов Андрей Александрович

Место работы: Университет ИТМО
Должность: магистрант
E-mail: klebanov.andrey@gmail.com
Клебанов А. А., Шалыто А. А. ПРИМЕНЕНИЕ ШАБЛОНОВ ТРЕБОВАНИЙ К ФОРМАЛЬНОЙ СПЕЦИФИКАЦИИ И ВЕРИФИКАЦИИ АВТОМАТНЫХ ПРОГРАММ
Статья опубликована в выпуске №5, том 10, 2010
Клебанов А. А., Шалыто А. А. РАЗРАБОТКА КОРРЕКТНЫХ JAVA CARD-ПРОГРАММ НА ОСНОВЕ АВТОМАТНОГО ПОДХОДА
Статья опубликована в выпуске №8, том 08, 2008
Информация 2001-2024 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика