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
Citace 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.
Citace podle MLA (9th 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..