Вы здесь

Bounded Model Checking and Induction from Refutation to Verification

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2003
Стр.: 
P.14-26
Библиография: 
Bibliogr.: p.25-26
Издательство: 
Том: 
2725
Карточка: 

Б2.23, Б3.54.

De Moura L., Ruess H., Sorea M..

Bounded Model Checking and Induction from Refutation to Verification: Springer// Lecture Notes in Computer Science-2003.-Vol. 2725.-P.14-26
Bibliogr.: p.25-26

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