发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

Abstraction-aware verifying compiler for yet another MDD

Abstraction-aware verifying compiler for yet another MDD

N. Ubayashi; D. Ai; P. Li; Y. N. Li; S. Hosoai; Y. Kamei
  • 作者N. Ubayashi; D. Ai; P. Li; Y. N. Li; S. Hosoai; Y. Kamei
  • 文件大小877.58KB
  • 发表时间2014
  • DOI10.1145/2642937.2642952
← 返回【学霸图书馆】主页