Automatic Software Model Checking Using CLP

Вы здесь

Автор:

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

2003

Ключевые слова:

Стр.:

P.189-203

Библиография:

Bibliogr.: p.202-203

Источник:

Том:

2618

Карточка:

Б2.24, Б2.14.

Flanagan C..

Automatic Software Model Checking Using CLP// Lecture Notes in Computer Science-2003.-Vol. 2618.-P.189-203
Bibliogr.: p.202-203

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

PAP26 618