Evgeny Viktorovich BodinRussia, NovosibirskResearch areaprogram verificationprogramming languagesAffiliation & position A.P. Ershov Institute of Informatics Systems — researcher E-mailbodin@iis.nsk.subodin@ngs.ru 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. — 2013. — # 2. — P. 101-116