Результати пошуку :: Harvester open publications of NAS Ukraine

Вибрати результат під номером 1
1

Solving contest problems via formal program verification за авторством Shilov, N.V., Shilova, S.O.

Опубліковано 2026

Отримати повний текст

Стаття

standalone_record_link
Додати у Вибране

Збережено в: