Тестирование безопасной симуляции.

Авторы

А.С. Косачев, И.Б.Бурдонов.

Полный текст статьи в формате pdf

Издание

5-ый Международный симпозиум по компьютерным наукам в России. // Семинар «Семантика, спецификация и верификация программ: теория и приложения». Казань 2010, стр. 37-42.

Научная группа

Технологии программирования

Все публикации за 2010 год

Все публикации