-
1كتاب إلكتروني
المؤلفون: Backes, JohnAff10, Berrueco, UlisesAff10, Bray, TylerAff10, Brim, DanielAff10, Cook, ByronAff10, Gacek, AndrewAff10, Jhala, RanjitAff10, Luckow, KasperAff10, McLaughlin, SeanAff10, Menon, MadhavAff10, Peebles, DanielAff10, Pugalia, UjjwalAff10, Rungta, NehaAff10, Schlesinger, ColeAff10, Schodde, AdamAff10, Tanuku, AnveshAff10, Varming, CarstenAff10, Viswanathan, DeepaAff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Lahiri, Shuvendu K., editorAff8, Wang, Chao, editorAff9
المصدر: Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I. 12224:165-176