APA (7th ed.) Citation

Shilov, N., & Shilova, S. (2026). Solving contest problems via formal program verification. PROBLEMS IN PROGRAMMING.

Chicago Style (17th ed.) Citation

Shilov, N.V, and S.O Shilova. Solving Contest Problems via Formal Program Verification. PROBLEMS IN PROGRAMMING, 2026.

MLA (8th ed.) Citation

Shilov, N.V, and S.O Shilova. Solving Contest Problems via Formal Program Verification. PROBLEMS IN PROGRAMMING, 2026.

Warning: These citations may not always be 100% accurate.