Naoyasu Ubayashi, Di Ai, Peiyuan Li, Yu Ning Li, Shintaro Hosoai, and Y. Kamei, "Abstraction-Aware Verifying Compiler for Yet Another Mdd," In 29th International Conference on Automated Software Engineering (ASE 2014), pp. 557-562, 2014.
ID 351
分類 国際会議
タグ abstraction-aware another compiler mdd verifying yet
表題 (title) Abstraction-Aware Verifying Compiler for Yet Another Mdd
表題 (英文)
著者名 (author) Naoyasu Ubayashi, Di Ai, Peiyuan Li, Yu Ning Li, Shintaro Hosoai, and Yasutaka Kamei
英文著者名 (author)
編者名 (editor)
編者名 (英文)
キー (key)
書籍・会議録表題 (booktitle) 29th International Conference on Automated Software Engineering (ASE 2014)
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 557-562
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 0
出版年 (year) 2014
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 利用できません.
BiBTeXエントリ
@inproceedings{id351,
         title = {Abstraction-aware Verifying Compiler for Yet Another MDD},
        author = {Naoyasu Ubayashi, Di Ai, Peiyuan Li, Yu Ning Li, Shintaro Hosoai, and Yasutaka Kamei},
     booktitle = {29th International Conference on Automated Software Engineering (ASE 2014)},
         pages = {557-562},
         month = {0},
          year = {2014},
}