Rao, X., Georges, A. L., Legoupil, M., Watt, C., Pichon-Pharabod, J., Gardner, P., & Birkedal, L. (2023). Iris-Wasm: Robust and Modular Verification of WebAssembly Programs. Proceedings of ACM on programming languages, 7(PLDI), 1096-1120. https://doi.org/10.1145/3591265
Citácia podle Chicago (17th ed.)Rao, Xiaojia, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, a Lars Birkedal. "Iris-Wasm: Robust and Modular Verification of WebAssembly Programs." Proceedings of ACM on Programming Languages 7, no. PLDI (2023): 1096-1120. https://doi.org/10.1145/3591265.
Citácia podľa MLA (8th ed.)Rao, Xiaojia, et al. "Iris-Wasm: Robust and Modular Verification of WebAssembly Programs." Proceedings of ACM on Programming Languages, vol. 7, no. PLDI, 2023, pp. 1096-1120, https://doi.org/10.1145/3591265.