Xiao, L., Zhu, H., & Bowen, J. P. (2026). A Lightweight Modeling and Verification Framework for Programs Over Weak Memory Models in an Algebraic Semantics Style. Journal of Software: Evolution & Process, 38(7), 1. https://doi.org/10.1002/smr.70149
Παραπομπή σε μορφή Chicago (17η εκδ.)Xiao, Lili, Huibiao Zhu, και Jonathan P. Bowen. "A Lightweight Modeling and Verification Framework for Programs Over Weak Memory Models in an Algebraic Semantics Style." Journal of Software: Evolution & Process 38, no. 7 (2026): 1. https://doi.org/10.1002/smr.70149.
Παραπομπή σε μορφή MLA (9th εκδ.)Xiao, Lili, et al. "A Lightweight Modeling and Verification Framework for Programs Over Weak Memory Models in an Algebraic Semantics Style." Journal of Software: Evolution & Process, vol. 38, no. 7, 2026, p. 1, https://doi.org/10.1002/smr.70149.