Lowe, G. (1997). Casper: A Compiler for the Analysis of Security Protocols. IEEE.
Cytowanie według stylu Chicago (wyd. 17)Lowe, G. Casper: A Compiler for the Analysis of Security Protocols. IEEE, 1997.
Cytowanie według stylu MLA (wyd. 9)Lowe, G. Casper: A Compiler for the Analysis of Security Protocols. IEEE, 1997.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..