文献
J-GLOBAL ID:200902002974987303
整理番号:91A0882900
シンボリック実行によるソフトウエアの特殊化
Software Specialization Via Symbolic Execution.
著者 (4件):
COEN-PORISINI A
(Politecnico di Milano, Milano, ITA)
,
DE PAOLI F
(Politecnico di Milano, Milano, ITA)
,
GHEZZI C
(Politecnico di Milano, Milano, ITA)
,
MANDRIOLI D
(Politecnico di Milano, Milano, ITA)
資料名:
IEEE Transactions on Software Engineering
(IEEE Transactions on Software Engineering)
巻:
17
号:
9
ページ:
884-899
発行年:
1991年09月
JST資料番号:
D0480D
ISSN:
0098-5589
CODEN:
IESEDJ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)