Sciweavers

POPL
2015
ACM

Deep Specifications and Certified Abstraction Layers

8 years 4 days ago
Deep Specifications and Certified Abstraction Layers
ion Layers Ronghui Gu Jérémie Koenig Tahina Ramananandro Zhong Shao Newman Wu Shu-Chun Weng Haozhong Zhang1 Yu Guo1 Yale University 1University of Science and Technology of China January 17, 2015 http://flint.cs.yale.edu
Ronghui Gu, Jérémie Koenig, Tahina R
Added 16 Apr 2016
Updated 16 Apr 2016
Type Journal
Year 2015
Where POPL
Authors Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo
Comments (0)