-
1تقرير
-
2كتاب إلكتروني
المؤلفون: Drǎgoi, CezaraAff10, Aff11, Inzaghi Pronesti, PatricioAff9, 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, Lal, Akash, editorAff7, Tonetta, Stefano, editorAff8
المصدر: Verified Software. Theories, Tools and Experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers. 13800:52-71
-
3
-
4كتاب إلكتروني
المؤلفون: Damian, AndreiAff10, Drăgoi, CezaraAff11, Militaru, AlexandruAff10, Widder, JosefAff12, Aff13
المساهمون: 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, Dillig, Isil, editorAff8, Tasiran, Serdar, editorAff9
المصدر: Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II. 11562:344-363
-
5تقرير
المصدر: Logical Methods in Computer Science, Volume 5, Issue 2 (April 22, 2009) lmcs:991
URL الوصول: http://arxiv.org/abs/0903.3126
-
6تقرير
المؤلفون: Dragoi, Cezara, Stefanescu, Gheorghe
مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, F.1.2, F.3, D.2.4, D.3.2
URL الوصول: http://arxiv.org/abs/0810.3332
-
7كتاب إلكتروني
المؤلفون: Drăgoi, CezaraAff18, Henzinger, Thomas A.Aff18, Veith, HelmutAff19, Widder, JosefAff19, Zufferey, DamienAff20
المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, McMillan, Kenneth L., editorAff16, Rival, Xavier, editorAff17
المصدر: Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings. 8318:161-181
-
8كتاب إلكتروني
المؤلفون: Drăgoi, CezaraAff18, Gupta, AshutoshAff18, Henzinger, Thomas A.Aff18
المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Sharygina, Natasha, editorAff16, Veith, Helmut, editorAff17
المصدر: Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. 8044:174-190
-
9كتاب إلكتروني
المؤلفون: Drăgoi, CezaraAff18, Enea, ConstantinAff19, Sighireanu, MihaelaAff19
المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Logozzo, Francesco, editorAff16, Fähndrich, Manuel, editorAff17
المصدر: Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings. 7935:150-171
-
10كتاب إلكتروني
المؤلفون: Bouajjani, AhmedAff3, Drăgoi, CezaraAff4, Enea, ConstantinAff3, Sighireanu, MihaelaAff3
المساهمون: Chakraborty, Supratik, editorAff1, Mukund, Madhavan, editorAff2
المصدر: Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. 7561:167-182