Cite
MLA Citation
Unknown. Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.. Cham, Switzerland : SpringerOpen, 2019. http://access.bl.uk/ark:/81055/vdc_100085252551.0x000001