Вы здесь

A Synergy between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
P.214-230.
Библиография: 
Bibliogr.: p.229-230
Том: 
1548
Карточка: 

Б2.15, Б2.23.

Debbabi M., Benzakour A., Ktari B..

A Synergy between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes// Lecture Notes in Computer Science-1999.-Vol. 1548.-P.214-230.
Bibliogr.: p.229-230

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