Cite
MLA Citation
Ivan Lanese et al., editors. Formal aspects of component software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers. Cham : Springer, 2015. http://access.bl.uk/ark:/81055/vdc_100072035748.0x000001