-
1تقرير
-
2تقرير
-
3كتاب إلكتروني
المؤلفون: Reshef, RoieAff10, Kabaha, AnanAff10, Seleznova, OlgaAff10, Drachsler-Cohen, DanaAff10
المساهمون: 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, Dimitrova, Rayna, editorAff7, Lahav, Ori, editorAff8, Wolff, Sebastian, editorAff9
المصدر: Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II. 14500:98-123