Evgeny Viktorovich Bodin Russian Federation, Novosibirsk Research area program verification programming languages Affiliation & position A.P. Ershov Institute of Informatics Systems — researcher E-mail bodin@iis.nsk.subodin@ngs.ru
Bodin E. Spin for puzzles: Using Spin for solving the Japanese river puzzle and the Square-1 cube // System Informatics. — 2013. — # 2. — P. 101-116
