Вы здесь

Comparing Verification Systems: Interactive Consistency in ACL2

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1997
Стр.: 
P.214-223.
Библиография: 
Bibliogr.: p.223
Издательство: 
Номер: 
4
Том: 
23
Карточка: 

В2.11, Б2.2.

Young W. D..

Comparing Verification Systems: Interactive Consistency in ACL2: Springer// IEEE Trans. on Software Engineering-1997, №4.-Vol. 23.-P.214-223.
Bibliogr.: p.223

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