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