You are about to access our book library "Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings (Lecture Notes in Computer Science Book 11222) full version" .