Matthew Fernandez, Ihor Kuz, Gerwin Klein, June Andronick. Towards a verified component platform. In Tim Harris 0001, Anil Madhavapeddy, editors, Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013. ACM, 2013. [doi]
Abstract is missing.