Вы здесь

Typestate Verification: Abstraction Techniques and Complexity Results

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2003
Ключевые слова: 
Стр.: 
P.439-462
Библиография: 
Bibliogr.: p.460-461
Том: 
2694
Карточка: 

Б2.23.

Field J., Goyal D., Ramalingam G., Yahav E..

Typestate Verification: Abstraction Techniques and Complexity Results// Lecture Notes in Computer Science-2003.-Vol. 2694.-P.439-462
Bibliogr.: p.460-461

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