Sander de Putter, Anton Wijs, Dan Zhang 0002. The SLCO Framework for Verified, Model-Driven Construction of Component Software. In Kyungmin Bae, Peter Csaba Ölveczky, editors, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. Volume 11222 of Lecture Notes in Computer Science, pages 288-296, Springer, 2018. [doi]
Abstract is missing.