Shilov, N., & Shilova, S. (2026). Solving contest problems via formal program verification. PROBLEMS IN PROGRAMMING.
Чикаго стиль цитування (17-те видання)Shilov, N.V, та S.O Shilova. Solving Contest Problems via Formal Program Verification. PROBLEMS IN PROGRAMMING, 2026.
Стиль цитування MLA (8-ме видання)Shilov, N.V, та S.O Shilova. Solving Contest Problems via Formal Program Verification. PROBLEMS IN PROGRAMMING, 2026.
Попередження: стилі цитування не завжди правильні на всі 100%.