Kondratyev Dmitry Alexandrovich

Dmitry Alexandrovich Kondratyev
Russia, Novosibirsk
Research area
Affiliation & position
  • A.P. Ershov Institute of Informatics Systems — postgraduate
E-mail
List of Articles in System Informatics:
D. Kondratyev A. Promsky An integrated approach to the error localization during C program verification // System Informatics. — . — # 1.  — P. 79-96
D. Kondratyev I. Maryasov V. Nepomniaschy Verification of Definite Iteration over Arrays with a Loop Exit in C Programs // System Informatics. — . — # 10.  — P. 57-66
D. Kondratyev A. Promsky Towards automated error localization in C programs with loops // System Informatics. — . — # 14.  — P. 31-44