Deep Specifications and Certified Abstraction Layers

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 14, 2015
Source ID
10.1145/2676726.2676975

Entities

People

  • Haozhong Zhang
  • Jérémie Koenig
  • Ronghui Gu
  • Shu-chun Weng
  • Tahina Ramananandro
  • Xiongnan (newman) Wu
  • Yu Guo
  • Zhong Shao

Organizations

  • China Scholarship Council
  • Defense Advanced Research Projects Agency
  • National Natural Science Foundation of China
  • National Science Foundation
  • Office of Naval Research
  • University of Science and Technology of China
  • Yale University