文献
J-GLOBAL ID:201002276563316533
整理番号:10A0713630
プログラム挙動の発見と検証:グラフ文法方式
Program Behavior Discovery and Verification: A Graph Grammar Approach
著者 (3件):
ZHAO Chunying
(Univ. Texas at Dallas, TX)
,
KONG Jun
(North Dakota State Univ., ND)
,
ZHANG Kang
(Univ. Texas at Dallas, TX)
資料名:
IEEE Transactions on Software Engineering
(IEEE Transactions on Software Engineering)
巻:
36
号:
3
ページ:
431-448
発行年:
2010年05月
JST資料番号:
D0480D
ISSN:
0098-5589
CODEN:
IESEDJ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)