-
1تقرير
-
2تقرير
-
3تقرير
-
4تقرير
المؤلفون: Elad, Neta, Padon, Oded, Shoham, Sharon
المصدر: Proceedings of the ACM on Programming Languages 8, no. POPL (2024): 970-1000
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages
URL الوصول: http://arxiv.org/abs/2310.16762
-
5تقرير
المؤلفون: Trabish, David, Rinetzky, Noam, Shoham, Sharon, Sharma, Vaibhav
مصطلحات موضوعية: Computer Science - Software Engineering
URL الوصول: http://arxiv.org/abs/2308.12068
-
6
-
7تقرير
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2306.10009
-
8تقرير
المؤلفون: Itzhaky, Shachar, Shoham, Sharon, Vizel, Yakir
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2304.12588
-
9كتاب إلكتروني
المؤلفون: Wilcox, James R.Aff9, Feldman, Yotam M. Y.Aff10, Padon, OdedAff11, Shoham, SharonAff10
المساهمون: Goos, Gerhard, Series 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, Gurfinkel, Arie, editorAff7, Ganesh, Vijay, editorAff8
المصدر: Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II. 14682:71-85
-
10كتاب إلكتروني
المؤلفون: Itzhaky, ShacharAff8, Shoham, SharonAff9, Vizel, YakirAff8
المساهمون: 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, Weirich, Stephanie, editorAff7
المصدر: Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II. 14577:212-241