%0 Book %A / edited by Isil Dillig, Serdar Tasiran. %T Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I %U /book/103026624/Computer-aided-verification-31st-International-Co/