Вы здесь
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and LambdaProlog - A Case-study
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2001
Ключевые слова:
Стр.:
P.123-137
Библиография:
Bibliogr.: p.136-137
Источник:
Том:
2024
Карточка:
Б2.13, Б3.5.
Delzanno G..
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and LambdaProlog - A Case-study// Lecture Notes in Computer Science-2001.-Vol. 2024.-P.123-137
Bibliogr.: p.136-137
Таблица в старой библиотеке:
PAP22 827