Вы здесь

Михайлов И. Н.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Ориентированный на верификацию язык C-light 2004 Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. Системная информатика Системная информатика 21.03.2005
СТ На пути к верификации C-программ. Язык C-light и его формальная семантика 2002 Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. Программирование 28.01.2003
П На пути к верификации C-программ. Часть 2: Язык C-light-kernel и его аксиоматическая семантика 2001 Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. ИСИ СО РАН 12.08.2002
П На пути к верификации C-программ. Часть 3. Перевод из языка C-light в язык C-light-kernel и его формальное обоснование 2002 Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. ИСИ СО РАН 17.07.2002
П На пути к верификации С-программ. Часть 1. Язык C-LIGHT 2001 Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. ИСИ СО РАН 07.03.2001
СТ Новый язык описания алгоритмов сопоставления с образцами 1995 Михайлов И. Н. Проблемы спецификации и верификации параллельных систем. Сборник научных трудов 14.12.1996