Lipp, B., (ENS-PSL), É. n. s. -. P., (PSL), U. P. S. e. L., (PROSECCO), P. s. w. c., Paris, I. d., (Inria), I. N. d. R. e. I. e. e. A. N. d. R. e. I. e. e. A., . . . STAR, A. (2022). Mechanized Cryptographic Proofs of Protocols and their Link with Verified Implementations.
Citácia podle Chicago (17th ed.)Lipp, Benjamin, et al. Mechanized Cryptographic Proofs of Protocols and Their Link with Verified Implementations. 2022.
Citácia podľa MLA (8th ed.)Lipp, Benjamin, et al. Mechanized Cryptographic Proofs of Protocols and Their Link with Verified Implementations. 2022.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..