Imran Pinjari, Michael Shin, Pushkar Ogale. Verifying Data Integrity for Multi-Threaded Programs. In Hans-Georg Fill, Francisco José DomÃnguez-Mayo, Marten van Sinderen, Leszek A. Maciaszek, editors, Proceedings of the 18th International Conference on Software Technologies, ICSOFT 2023, Rome, Italy, July 10-12, 2023. pages 588-595, SCITEPRESS, 2023. [doi]
Abstract is missing.