Вы здесь
Boolean and Cartesian Abstraction for Model Checking C Programs
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2001
Стр.:
P.268-283
Библиография:
Bibliogr.: p.282-283
Место издания:
Издательство:
Источник:
Том:
2031
Карточка:
Б2.23.
Ball T., Podelski A., Rajamani S. K..
Boolean and Cartesian Abstraction for Model Checking C Programs-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2001.-Vol. 2031.-P.268-283-(Lecture Notes in Computer Science).
Bibliogr.: p.282-283
Таблица в старой библиотеке:
PAP23 35