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

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

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