학술논문
Gaining trust by tracing security protocols
Document Type
Article
Author
Source
In: Journal of Logical and Algebraic Methods in Programming . (Journal of Logical and Algebraic Methods in Programming, January 2023, 130)
Subject
Language
English
ISSN
23522216
23522208
23522208