Nepomniaschy Valery A.

Valery A. Nepomniaschy
Russia, Novosibirsk
Academic degree
Research area
Affiliation & position
  • A.P. Ershov Institute of Informatics Systems — head of laboratory
E-mail
List of Articles in System Informatics:
N. Vizovitin V. Nepomniaschy A. Stenenko Verification of UCM Models with Scenario Control Structures Using Coloured Petri Nets // System Informatics. — . — # 7.  — P. 11-22
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