CRARY, K., KLIGER, A., & PFENNING, F. (2005). A monadic analysis of information flow security with mutable state. Journal of functional programming, 15(2), 249-291. https://doi.org/10.1017/S0956796804005441
Citace podle Chicago (17th ed.)CRARY, KARL, ALEKSEY KLIGER, a FRANK PFENNING. "A Monadic Analysis of Information Flow Security with Mutable State." Journal of Functional Programming 15, no. 2 (2005): 249-291. https://doi.org/10.1017/S0956796804005441.
Citace podle MLA (9th ed.)CRARY, KARL, et al. "A Monadic Analysis of Information Flow Security with Mutable State." Journal of Functional Programming, vol. 15, no. 2, 2005, pp. 249-291, https://doi.org/10.1017/S0956796804005441.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..