Cite
MLA Citation
Frank de Boer et al., editors. Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. Cham : Springer, 2020. http://access.bl.uk/ark:/81055/vdc_100106309656.0x000001