Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers

Maria Christakis Nadia Polikarpova Parasara Sridhar Duggirala Peter Schrammel Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers VSTTE Springer 2020 Lecture Notes in Computer Science 12549 978-3-030-63617-3 978-3-030-63618-0 https://doi.org/10.1007/978-3-030-63618-0 db/conf/vstte/vstte2020.html