Институт системного программирования им. В.П. Иванникова РАН


Практикум по аналитической верификации программного обеспечения.

Авторы

А. В. Хорошилов.

Издание

Сборник докладов Четвёртой конференции “Свободное программное обеспечение в высшей школе”, сс. 29-32, Переславль, 30 января 1 февраля 2009 г.

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

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

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