APA (7th ed.) Citation

Bargmann, L., & Wehrheim, H. (2025). View-based axiomatic reasoning for the weak memory models PSO and SRA. Science of Computer Programming, 240, N.PAG. https://doi.org/10.1016/j.scico.2024.103225

Chicago Style (17th ed.) Citation

Bargmann, Lara, and Heike Wehrheim. "View-based Axiomatic Reasoning for the Weak Memory Models PSO and SRA." Science of Computer Programming 240 (2025): N.PAG. https://doi.org/10.1016/j.scico.2024.103225.

MLA (9th ed.) Citation

Bargmann, Lara, and Heike Wehrheim. "View-based Axiomatic Reasoning for the Weak Memory Models PSO and SRA." Science of Computer Programming, vol. 240, 2025, p. N.PAG, https://doi.org/10.1016/j.scico.2024.103225.