APA (7th ed.) Citation

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 Style (17th ed.) Citation

Xiao, Lili, Huibiao Zhu, and 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 ed.) Citation

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.