Detail

Publication date: 1 de June, 2021

Publication Encoding cryptographic primitives in a calculus with polyadic synchronization – Journal Journal of Automated Reasoning


Journal Journal of Automated Reasoning
Publisher Universitat Politècnica de Catalunya
Pub. Date 01/01/2010