Непомнящий, Валерий Александрович, Институт систем информатики им. А. П. Ершова СО РАН; Новосибирский государственный университет, Россия

• Том 20, № 6 (2013) - Оригинальные статьи
  Автоматическая верификация C-программ на основе смешанной аксиоматической семантики
  Аннотация  PDF (Rus)