内尾, 鵜林, 亀井, "SMTソルバーを用いたコンテキスト指向プログラミングのためのデバッグ支援 [レター論文]," 日本ソフトウェア科学会誌 コンピュータソフトウェア, 29(3), pp. 108-114, 2012年.
ID 84
分類 論文誌
タグ
表題 (title) SMTソルバーを用いたコンテキスト指向プログラミングのためのデバッグ支援 [レター論文]
表題 (英文)
著者名 (author) 内尾 静, 鵜林 尚靖, 亀井 靖高
英文著者名 (author) Shizuka Uchio, Naoyasu Ubayashi,Yasutaka Kamei,
キー (key)
定期刊行物名 (journal) 日本ソフトウェア科学会誌 コンピュータソフトウェア
定期刊行物名 (英文)
巻数 (volume) 29
号数 (number) 3
ページ範囲 (pages) 108-114
刊行月 (month) 0
出版年 (year) 2012
Impact Factor (JCR)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 利用できません.
BiBTeXエントリ
@article{id84,
         title = {SMTソルバーを用いたコンテキスト指向プログラミングのためのデバッグ支援 [レター論文]},
        author = {内尾 静 and  鵜林 尚靖 and  亀井 靖高},
       journal = {日本ソフトウェア科学会誌 コンピュータソフトウェア},
        volume = {29},
        number = {3},
         pages = {108-114},
         month = {0},
          year = {2012},
}