Liang Sun, Bailin Lu, Liangze Yin, Zhe Bu, Wenjing Jin. OpenMP Program Verification Based on Bounded Model Checking. In 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023 Companion, Chiang Mai, Thailand, October 22-26, 2023. pages 849-850, IEEE, 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.