Bodin Evgeny Viktorovich

Бодин Евгений Викторович
Evgeny Viktorovich Bodin
Russia, Novosibirsk
Research area
Affiliation & position
  • A.P. Ershov Institute of Informatics Systems — researcher
E-mail
List of Articles in System Informatics:
E. Bodin Spin for puzzles: Using Spin for solving the Japanese river puzzle and the Square-1 cube // System Informatics. — . — # 2.  — P. 101-116
E. Bodin I. Anureev Operational semantics of Rust expressions in ABML // System Informatics. — . — # 29.  — P. 189-216