المؤلفون: Backes, John^Aff10, Berrueco, Ulises^Aff10, Bray, Tyler^Aff10, Brim, Daniel^Aff10, Cook, Byron^Aff10, Gacek, Andrew^Aff10, Jhala, Ranjit^Aff10, Luckow, Kasper^Aff10, McLaughlin, Sean^Aff10, Menon, Madhav^Aff10, Peebles, Daniel^Aff10, Pugalia, Ujjwal^Aff10, Rungta, Neha^Aff10, Schlesinger, Cole^Aff10, Schodde, Adam^Aff10, Tanuku, Anvesh^Aff10, Varming, Carsten^Aff10, Viswanathan, Deepa^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Lahiri, Shuvendu K., editor^Aff8, Wang, Chao, editor^Aff9

المصدر: Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I. 12224:165-176