Garanina N., Anureev I., Zyubin V. Constructing Verification-Oriented Domain-Specific Process Ontologies // # 14, 2019
Staroletov S. Teaching the Discipline "Software Testing and Verification" to Future Programmers // # 21, 2022
Garanina N., Anureev I., Zyubin V., Rozov A., Liakh T., Gorlatch S. Reasoning about Programmable Logic Controllers // # 17, 2020
