Вы здесь

Certifying Temporal Properties for Compiled C Programs

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2004
Стр.: 
P.161-174
Библиография: 
Bibliogr.: p.173-174
Издательство: 
Том: 
2937
Карточка: 

Б3.22, Б3.54.

Xia S., Hook J..

Certifying Temporal Properties for Compiled C Programs: Springer// Lecture Notes in Computer Science-2004.-Vol. 2937.-P.161-174
Bibliogr.: p.173-174

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