Cite
MLA Citation
Kyungmin Bae et al., editors. Formal aspects of component software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. Cham, Switzerland : Springer, 2018. http://access.bl.uk/ark:/81055/vdc_100068593287.0x000001