Ануреев, Игорь Сергеевич, Институт систем информатики имени А.П. Ершова СО РАН, Россия

• Том 19, № 6 (2012) - Оригинальные статьи
  Дедуктивная верификация телекоммуникационных систем, представленных на языке Си
  Аннотация  PDF (Rus)
• Том 25, № 6 (2018) - Оригинальные статьи
  Онтология процессов, ориентированная на верификацию
  Аннотация  PDF (Rus)
• Том 25, № 6 (2018) - Оригинальные статьи
  Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня
  Аннотация  PDF (Rus)
• Том 18, № 4 (2011) - Оригинальные статьи
  Типовые примеры использования языка Atoment
  Аннотация  PDF (Rus)
• Том 18, № 4 (2011) - Оригинальные статьи
  Атрибутные аннотации и их применение в дедуктивной верификации C-программ
  Аннотация  PDF (Rus)
• Том 27, № 4 (2020) - Theory of Computing
  Темпоральная логика для программируемых логических контроллеров
  Аннотация  PDF (Rus)