Cite
HARVARD Citation
Dillig, I. et al. (eds.) (2019) Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.. [Online]. Cham, Switzerland : SpringerOpen. Available from: http://access.bl.uk/ark:/81055/vdc_100085252591.0x000001