Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo
Deep Specifications and Certified Abstraction Layers
POPL, 2015.
@inproceedings{POPL-2015-GuKRSWWZG,
author = "Ronghui Gu and Jérémie Koenig and Tahina Ramananandro and Zhong Shao and Xiongnan (Newman) Wu and Shu-Chun Weng and Haozhong Zhang and Yu Guo",
booktitle = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}",
doi = "10.1145/2676726.2676975",
isbn = "978-1-4503-3300-9",
pages = "595--608",
publisher = "{ACM}",
title = "{Deep Specifications and Certified Abstraction Layers}",
year = 2015,
}