Вы здесь

Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2004
Стр.: 
P.328-343
Библиография: 
Bibliogr.: p.342-343
Место издания: 
Том: 
3148
Карточка: 

Б2.23, Б2.35.

Gulwani S., Necula G. C..

Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions-Berlin, Heidelberg.// Lecture Notes in Computer Science, 2004.-Vol. 3148.-P.328-343-(Lecture Notes in Computer Science).
Bibliogr.: p.342-343

Таблица в старой библиотеке: 
PAP29 426