年度	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