JUNG, R., KREBBERS, R., JOURDAN, J., BIZJAK, A., BIRKEDAL, L., & DREYER, D. (2018). Iris from the ground up: A modular foundation for higher-order concurrent separation logic. Journal of functional programming, 28(e20), . https://doi.org/10.1017/S0956796818000151
Citácia podle Chicago (17th ed.)JUNG, RALF, ROBBERT KREBBERS, JACQUES-HENRI JOURDAN, ALEŠ BIZJAK, LARS BIRKEDAL, a DEREK DREYER. "Iris from the Ground Up: A Modular Foundation for Higher-order Concurrent Separation Logic." Journal of Functional Programming 28, no. e20 (2018). https://doi.org/10.1017/S0956796818000151.
Citácia podľa MLA (8th ed.)JUNG, RALF, et al. "Iris from the Ground Up: A Modular Foundation for Higher-order Concurrent Separation Logic." Journal of Functional Programming, vol. 28, no. e20, 2018, https://doi.org/10.1017/S0956796818000151.