Staroletov S. Teaching the Discipline "Software Testing and Verification" to Future Programmers // # 21, 2022
