N.V.Shilov     Solving contest problemis via formal program verification [Текст] / N.V.Shilov,  S.O.Shilova // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2010. — №3. — с.355-362.

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Тернопільського національного технічного університету ім. І.Пулюя		Перейти на сайт