Letichevsky, A.     Simple non-deterministic rewriting in verification [Текст] / A. Letichevsky, V. Peschanenko // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2010. — №3. — с.97-101.

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