-
1تقرير
المؤلفون: de Boer, Frank S., Hiep, Hans-Dieter A., de Gouw, Stijn
المصدر: Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12297
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2309.08962
-
2كتاب إلكتروني
المؤلفون: Tatman, Andy S.Aff9, Hiep, Hans-Dieter A.Aff9, Aff10, de Gouw, StijnAff11
المساهمون: 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, Herber, Paula, editorAff7, Wijs, Anton, editorAff8
المصدر: Integrated Formal Methods : 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. 14300:134-152
-
3كتاب إلكتروني
المؤلفون: de Boer, Frank S.Aff9, Aff10, Hiep, Hans-Dieter A.Aff9, Aff10, de Gouw, StijnAff11
المساهمون: 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, Ramanayake, Revantha, editorAff7, Urban, Josef, editorAff8
المصدر: Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings. 14278:407-426
-
4تقرير
المؤلفون: Hiep, Hans-Dieter A., Maathuis, Olaf, Bian, Jinting, de Boer, Frank S., van Eekelen, Marko, de Gouw, Stijn
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Software Engineering
URL الوصول: http://arxiv.org/abs/1911.04195
-
5دورية أكاديمية
المؤلفون: Hiep, Hans-Dieter A.Aff1, Aff2, IDs10009022006797_cor1, Maathuis, Olaf, Bian, JintingAff1, Aff2, de Boer, Frank S.Aff1, Aff2, de Gouw, StijnAff1, Aff3
المصدر: International Journal on Software Tools for Technology Transfer. 24(5):783-802
-
6كتاب إلكتروني
المؤلفون: de Boer, Frank S.Aff9, Aff10, de Gouw, StijnAff9, Aff11, Hiep, Hans-Dieter A.Aff9, Aff10, Bian, JintingAff9, 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, Tapia Tarifa, Silvia Lizeth, editorAff7, Proença, José, editorAff8
المصدر: Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings. 13712:141-160
-
7دورية أكاديمية
المؤلفون: Bian, JintingAff1, Aff3, Hiep, Hans-Dieter A.Aff1, Aff3, IDs1070302300426x_cor2, de Boer, Frank S.Aff1, Aff3, de Gouw, StijnAff1, Aff2
المصدر: Formal Methods in System Design: An International Journal. 61(1):63-89
-
8كتاب إلكتروني
المؤلفون: Bian, JintingAff11, Hiep, Hans-Dieter A.Aff11, de Boer, Frank S.Aff11, de Gouw, StijnAff12
المساهمون: 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, Huisman, Marieke, editorAff8, Păsăreanu, Corina, editorAff9, Zhan, Naijun, editorAff10
المصدر: Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings. 13047:255-272
-
9كتاب إلكتروني
المؤلفون: Hiep, Hans-Dieter A.Aff13, Bian, JintingAff13, de Boer, Frank S.Aff13, de Gouw, StijnAff13
المساهمون: 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, Ahrendt, Wolfgang, editorAff8, Beckert, Bernhard, editorAff9, Bubel, Richard, editorAff10, Hähnle, Reiner, editorAff11, Ulbrich, Mattias, editorAff12
المصدر: Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY. 12345:221-245
-
10كتاب إلكتروني
المؤلفون: Hiep, Hans-Dieter A.Aff10, Bian, JintingAff10, de Boer, Frank S.Aff10, de Gouw, StijnAff10
المساهمون: 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, Dongol, Brijesh, editorAff8, Troubitsyna, Elena, editorAff9
المصدر: Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. 12546:199-217