Kondratyev D., Promsky A. An integrated approach to the error localization during C program verification // # 1, 2013
Staroletov S. Teaching the Discipline "Software Testing and Verification" to Future Programmers // # 21, 2022
Gnatenko A., Zakharov V. Using an extensions of CTL* for specification and verification of sequential reactive systems // # 17, 2020
