Методика автоматизированной проверки

К. А. Власов, А. С. Смачёв, Труды Института системного программирования РАН