Ke Du, Anshu Sharma, Liyi Li 0002, William Mansky. A Formal Semantics of C with OpenMP Parallelism. In Jyotirmoy V. Deshmukh, Klaus Havelund, Alessandro Pinto, editors, NASA Formal Methods - 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings. Volume 16622 of Lecture Notes in Computer Science, pages 436-455, Springer, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.