Лукин Михаил Андреевич

Место работы: Университет ИТМО
Должность: программист
E-mail: lukinma@gmail.com
Шалыто А. А., Лукин М. А. ВЕРИФИКАЦИЯ АВТОМАТНЫХ ПРОГРАММ С ИСПОЛЬЗОВАНИЕМ ВЕРИФИКАТОРА SPIN
Статья опубликована в выпуске 8(53) за 2008
Лукин М. А. ВЕРИФИКАЦИЯ ПАРАЛЛЕЛЬНЫХ АВТОМАТНЫХ ПРОГРАММ
Статья опубликована в выпуске 1(89) за 2014
Информация 2001-2017 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

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