Shelekhov V. Verification of a predicate heapsort program using inverse transformations // # 16, 2020
Kasyanov V., Kasyanova E. Methods and technologies for constructing efficient and reliable programs and software systems based on graph models and semantic transformations // # 19, 2021
Shelekhov V. Comparison of automata-based engineering method and Event-B modeling method // # 18, 2021
Shelekhov V. Transformation and verification of the OS program sorting devices in a computer bus // # 18, 2021
Tumurov E., Shelekhov V. Transformation, specification, and verification of the program calculating the elements number of a set presented by a bit vector // # 16, 2020
