Cite
APA Citation
de Boer, F., & Cerone, A. (Eds.) (2020). Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. Cham : Springer. http://access.bl.uk/ark:/81055/vdc_100106309656.0x000001