Erdem Garmayevich Tumurov Russian Federation, Novosibirsk Research area program verification programming languages Affiliation & position A.P. Ershov Institute of Informatics Systems — junior researcher E-mail erdemus@gmail.com
Tumurov E., Shelekhov V. Requirement specification of quad-rotor flight control system // System Informatics. — 2015. — # 5. — P. 39-54
Bulgakov K., Kablukov I., Tumurov E., Shelekhov V. Optimizing transformations for operations on lists and trees in the predicate programming system // System Informatics. — 2017. — # 9. — P. 63-92
Tumurov E., Shelekhov V. Transformation, specification, and verification of the program calculating the elements number of a set presented by a bit vector // System Informatics. — 2020. — # 16. — P. 103-136
