Cite
HARVARD Citation
Unknown (2020) Verified software : theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers. [Online]. Cham : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100100292179.0x000001