文献
J-GLOBAL ID:201102268737064304
整理番号:11A1199457
ポインタプログラムの検証のためのポインタ論理
Pointer Logic for Verification of Pointer Programs
著者 (4件):
CHEN Yi-Yun
(School of Computer Sci. and Technol., Univ. of Sci. and Technol. of China, Anhui, Hefei)
,
LI Zhao-Peng
(School of Computer Sci. and Technol., Univ. of Sci. and Technol. of China, Anhui, Hefei)
,
WANG Zhi-Fang
(School of Computer Sci. and Technol., Univ. of Sci. and Technol. of China, Anhui, Hefei)
,
HUA Bao-Jian
(School of Computer Sci. and Technol., Univ. of Sci. and Technol. of China, Anhui, Hefei)
資料名:
Ruanjian Xuebao
(Ruanjian Xuebao)
巻:
21
号:
3
ページ:
415-426
発行年:
2010年
JST資料番号:
C2542A
ISSN:
1000-9825
CODEN:
RUXUEW
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
中国 (CHN)
言語:
中国語 (ZH)