| Tweet | |
| 佐々木, 岡野, 楠本, PDGとSMTソルバを用いたJavaプログラム解析器の提案, SESワークショップ2013, 2013年. | |
| ID | 302 |
| 分類 | 研究会・全国大会等 |
| タグ | analyzing java method pdg program smt solver |
| 表題 (title) |
PDGとSMTソルバを用いたJavaプログラム解析器の提案 |
| 表題 (英文) |
A Method for Analyzing Java Program Using Pdg and Smt Solver |
| 著者名 (author) |
佐々木 幸広,岡野 浩三,楠本 真二 |
| 英文著者名 (author) |
Yukihiro Sasaki,Kozo Okano,Shinji Kusumoto |
| キー (key) |
Yukihiro Sasaki,Kozo Okano,Shinji Kusumoto |
| 刊行月 (month) |
9 |
| 出版年 (year) |
2013 |
| URL |
|
| 付加情報 (note) |
SESワークショップ2013 |
| 注釈 (annote) |
|
| 内容梗概 (abstract) |
|
| 論文電子ファイル | 利用できません． |
| BiBTeXエントリ |
@unpublished{id302,
title = {PDGとSMTソルバを用いたJavaプログラム解析器の提案},
author = {佐々木 幸広 and 岡野 浩三 and 楠本 真二},
month = {9},
year = {2013},
note = {SESワークショップ2013},
}
|