Cite
HARVARD Citation
Unknown (2020) Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers.. [Online]. Cham : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100104917260.0x000001