Ethan T. McGee, John D. McGregor. Composition of proof-carrying architectures for cyber-physical systems. In Douglas C. Schmidt, editor, Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015. pages 419-426, ACM, 2015. [doi]
Abstract is missing.