Cite
HARVARD Citation
Aït-Ameur, Y. et al. (eds.) (2019) Formal methods and software engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings. [Online]. Cham, Switzerland : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100091576301.0x000001