![](/img/cover-not-exists.png)
[ACM Press the 2015 Conference - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Conference on Certified Programs and Proofs - CPP '15 - A Compositional Semantics for Verified Separate Compilation and Linking
Ramananandro, Tahina, Shao, Zhong, Weng, Shu-Chun, Koenig, Jérémie, Fu, YuchenYear:
2015
Language:
english
DOI:
10.1145/2676724.2693167
File:
PDF, 512 KB
english, 2015