文献
J-GLOBAL ID:201802231698074414
整理番号:18A1354461
候補ベース不変生成の実装と評価【JST・京大機械翻訳】
Implementing and Evaluating Candidate-Based Invariant Generation
著者 (5件):
Betts Adam
(Department of Computing, Imperial College London, London, United Kingdom)
,
Chong Nathan
(Department of Computing, Imperial College London, London, United Kingdom)
,
Deligiannis Pantazis
(Department of Computing, Imperial College London, London, United Kingdom)
,
Donaldson Alastair F.
(Department of Computing, Imperial College London, London, United Kingdom)
,
Ketema Jeroen
(Department of Computing, Imperial College London, London, United Kingdom)
資料名:
IEEE Transactions on Software Engineering
(IEEE Transactions on Software Engineering)
巻:
44
号:
7
ページ:
631-650
発行年:
2018年
JST資料番号:
D0480D
ISSN:
0098-5589
CODEN:
IESEDJ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)