Kusumoto Laboratory: 佐々木, 岡野, 楠本, PDGとSMTソルバを用いたJavaプログラム解析器の提案, 2013年9月.
  • リスト
  •  表 
  • LaTeX
  • BibTeX
Detail of a work
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},
}
  

Search

Tags

1 件の該当がありました. : このページのURL : HTML

Language: 英語 | 日本語 || ログイン |

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.032724 seconds.