Cite
HARVARD Citation
de Boer, F. et al. (eds.) (2020) Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. [Online]. Cham : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100106309656.0x000001