Nowak, D., & Zhang, Y. (2015). Formal security proofs with minimal fuss: Implicit computational complexity at work. Information and computation, 241, 96-113. https://doi.org/10.1016/j.ic.2014.10.008
Citácia podle Chicago (17th ed.)Nowak, David, a Yu Zhang. "Formal Security Proofs with Minimal Fuss: Implicit Computational Complexity at Work." Information and Computation 241 (2015): 96-113. https://doi.org/10.1016/j.ic.2014.10.008.
Citácia podľa MLA (8th ed.)Nowak, David, a Yu Zhang. "Formal Security Proofs with Minimal Fuss: Implicit Computational Complexity at Work." Information and Computation, vol. 241, 2015, pp. 96-113, https://doi.org/10.1016/j.ic.2014.10.008.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..