佐々木, 岡野, 楠本, 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},
}