APA (7th ed.) Citation

Andrianov, P. S., Zelenov, S. V., Mutilin, V. S., & Petrenko, A. K. (2025). Software Model Checking for Memory Consistency Verification. Programming and computer software, 51(5), 305-313. https://doi.org/10.1134/S0361768825700185

Chicago Style (17th ed.) Citation

Andrianov, P. S., S. V. Zelenov, V. S. Mutilin, and A. K. Petrenko. "Software Model Checking for Memory Consistency Verification." Programming and Computer Software 51, no. 5 (2025): 305-313. https://doi.org/10.1134/S0361768825700185.

MLA (9th ed.) Citation

Andrianov, P. S., et al. "Software Model Checking for Memory Consistency Verification." Programming and Computer Software, vol. 51, no. 5, 2025, pp. 305-313, https://doi.org/10.1134/S0361768825700185.