Open
Books
Ключевые слова
верификатор SPIN
в статьях
в учебных изд.
в материалах конференций
в PDF-файлах
Не искать по автору
Искать по автору
Например,
Бобцов
1 cтатей по ключевому слову - верификатор SPIN
Статья
ВЕРИФИКАЦИЯ АВТОМАТНЫХ ПРОГРАММ С ИСПОЛЬЗОВАНИЕМ ВЕРИФИКАТОРА SPIN
Шалыто А. А., Лукин М. А.
1
Ключевые слова
Топ-100 ключевых слов
Содержание © 1993–2024 Университет ИТМО
Разработка © 2015 Университет ИТМО