Yu, FangFangYuYang, Shun-ChingShun-ChingYangWang, FarnFarnWangChen, Guan-ChengGuan-ChengChenChan, Che-ChangChe-ChangChanFARN WANG2020-06-042020-06-0420120362-1340https://scholars.lib.ntu.edu.tw/handle/123456789/497176Symbolic Consistency Checking of OpenMP Parallel Programsjournal article10.1145/2345141.2248438WOS:000307580000015