Библиография

Фильтры: Ключевое слово - Математический аппарат верификации моделей  [Clear All Filters]
2011
Вельдер СЭ, Лукин МА, Шалыто АА, Яминов БР.  2011.  Верификация автоматных программ. Санкт-Петербургский национальный исследовательский университет ИТМО. 004.42 Abstract