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

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

A type system for certified binaries

A type system for certified binaries

Shao, Zhong; Trifonov, Valery; Saha, Bratin; Papaspyrou, Nikolaos
  • 期刊名称ACM Transactions on Programming Languages and Systems
  • 作者Shao, Zhong; Trifonov, Valery; Saha, Bratin; Papaspyrou, Nikolaos
  • 卷第27卷
  • 期第1期
  • 印刷ISSN0164-0925
  • 文件大小466.29KB
  • 发表时间2005-01-01
  • DOI10.1145/1053468.1053469
  • 页码1-45
← 返回【学霸图书馆】主页