Barthe, G., Rezk, T., & Basu, A. (2007). Security types preserving compilation. Computer languages, systems & structures, 33(2), 35-59. https://doi.org/10.1016/j.cl.2005.05.002
Citace podle Chicago (17th ed.)Barthe, Gilles, Tamara Rezk, a Amitabh Basu. "Security Types Preserving Compilation." Computer Languages, Systems & Structures 33, no. 2 (2007): 35-59. https://doi.org/10.1016/j.cl.2005.05.002.
Citace podle MLA (9th ed.)Barthe, Gilles, et al. "Security Types Preserving Compilation." Computer Languages, Systems & Structures, vol. 33, no. 2, 2007, pp. 35-59, https://doi.org/10.1016/j.cl.2005.05.002.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..