Комплексний інформаційно-бібліографічний сервіс Національної бібілотеки України імені В. І. Вернадського

Реферативна база даних

	Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox"

Вид пошуку

Формат представлення знайдених документів:
повний	стислий

Пошуковий запит: (<.>A=Krivoi S$<.>)
Загальна кількість знайдених документів : 1
1.	Krivoi S. Static analysis of programs by using abstract interpretations [Текст] // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98:НАН України.-С.49-55