Препринты Института систем информатики СО РАН 2008 г.
Препринт 150
На пути к автоматической верификации программ на языке C-light. Смешанная аксиоматическая семантика языка С-kernel
Препринт в формате PDF (Русский) (292.49 КБ)
Препринт 149
Структурный анализ и систематизация условий олимпиадных задач по программированию
Препринт в формате PDF (Русский) (445.99 КБ)