Computer aided verification 32th international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings - Lahiri, Shuvendu K. (Springer, 2020)