[Pay Per View]  購入論文確認


Vol/No/タイトル/著者 論文数 価格(税込)
Vol.J91-D No.11
Javaに対するループインバリアントを含むDaikon生成アサーションの妥当性評価
宮本 敬三, 岡野 浩三, 楠本 真二,
1 ¥3240
合計: ¥3,240