宮澤清介, 岡野浩三, 楠本真二, "フォーマルアプローチの基本技術習得のための学習支援システムの試作," ソフトウェアエンジニアリング最前線2009, pp. 69-74 2009年9月.
ID 102
分類 国内会議(査読付き)
タグ e-Learning Axiom formal proof
表題 (title) フォーマルアプローチの基本技術習得のための学習支援システムの試作
表題 (英文)
著者名 (author) 宮澤清介,岡野浩三, 楠本真二
英文著者名 (author) Kiyoyuki Miyazawa,Kozo Okano,Shinji Kusumoto
編者名 (editor)
編者名 (英文)
キー (key) Kiyoyuki Miyazawa ,Kozo Okano,Shinji Kusumoto
書籍・会議録表題 (booktitle) ソフトウェアエンジニアリング最前線2009
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 69-74
組織名 (organization) 情報処理学会
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 9
出版年 (year) 2009
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)

論文電子ファイル SES2009_MiyazawaKiyoyuki.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id102,
         title = {フォーマルアプローチの基本技術習得のための学習支援システムの試作},
        author = {宮澤清介 and 岡野浩三 and  楠本真二 },
     booktitle = {ソフトウェアエンジニアリング最前線2009},
         pages = {69-74},
    organization = {情報処理学会},
         month = {9},
          year = {2009},
}