年度	2012
全部作者	郁方
論文名稱	Fang Yu*;Shun-Ching Yan;Farn Wang;Guan-Cheng Chen;Che-Chang Chan, 2012.05, 'Symbolic Consistency Checking of OpenMP Parallel Programs, ' ACM SIGPLAN Notices, Vol.47, No.5, pp.139-148.(ACM, SCI)(*為通訊作者)
卷數	395896
發表日期	2012-05-01
參考連結	http://nccur.lib.nccu.edu.tw/handle/140.119/63013