-
1مؤتمر
المؤلفون: Kiesl-Reiter, Benjamin, Whalen, Michael W.
المصدر: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :132-140 Oct, 2023
Relation: 2023 Formal Methods in Computer-Aided Design (FMCAD)
-
2كتاب إلكتروني
المؤلفون: Lotz, KevinAff9, Goel, AmitAff10, Dutertre, BrunoAff10, Kiesl-Reiter, BenjaminAff10, Kong, SoonhoAff10, Majumdar, RupakAff10, Nowotka, DirkAff9
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Enea, Constantin, editorAff7, Lal, Akash, editorAff8
المصدر: Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II. 13965:187-208
-
3كتاب إلكتروني
المؤلفون: Michaelson, DawnAff10, Schreiber, DominikAff11, Heule, Marijn J. H.Aff9, Aff12, Kiesl-Reiter, BenjaminAff9, Whalen, Michael W.Aff9, Aff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Sankaranarayanan, Sriram, editorAff7, Sharygina, Natasha, editorAff8
المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I. 13993:348-366
-
4كتاب إلكتروني
المؤلفون: Reeves, Joseph E.Aff9, Kiesl-Reiter, BenjaminAff10, Heule, Marijn J. H.Aff9, Aff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Sankaranarayanan, Sriram, editorAff7, Sharygina, Natasha, editorAff8
المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I. 13993:329-347