宮本 敬三 | 大阪大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
楠本 真二
大阪大学大学院情報科学研究科
-
岡野 浩三
岡山大学大学院自然科学研究科
-
岡野 浩三
大阪大学大学院情報科学研究科
-
宮本 敬三
大阪大学大学院情報科学研究科
-
堀 直哉
大阪大学大学院情報科学研究科コンピュータサイエンス専攻
著作論文
- Javaに対するループインバリアントを含むDaikon生成アサーションの妥当性評価(研究速報)
- B-001 Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール(ソフトウェア,一般論文)