Непомнящий, Валерий Александрович, Институт систем информатики им. А. П. Ершова СО РАН, Россия
-
Том 24, № 6 (2017) - Оригинальные статьи
Элиминация инвариантов финитных итераций над массивами при верификации Си программ
Аннотация PDF (Eng)
ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)
ISSN 2313-5417 (Online)