المؤلفون: 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

المؤلفون: Tatman, Andy S.^Aff9, Hiep, Hans-Dieter A.^{Aff9, Aff10}, de Gouw, Stijn^Aff11

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Herber, Paula, editor^Aff7, Wijs, Anton, editor^Aff8

المصدر: Integrated Formal Methods : 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. 14300:134-152

المؤلفون: de Boer, Frank S.^{Aff9, Aff10}, Hiep, Hans-Dieter A.^{Aff9, Aff10}, de Gouw, Stijn^Aff11

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Ramanayake, Revantha, editor^Aff7, Urban, Josef, editor^Aff8

المصدر: Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings. 14278:407-426

المؤلفون: 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

المؤلفون: Hiep, Hans-Dieter A.^{Aff1, Aff2, IDs10009022006797_cor1}, Maathuis, Olaf, Bian, Jinting^{Aff1, Aff2}, de Boer, Frank S.^{Aff1, Aff2}, de Gouw, Stijn^{Aff1, Aff3}

المصدر: International Journal on Software Tools for Technology Transfer. 24(5):783-802

المؤلفون: de Boer, Frank S.^{Aff9, Aff10}, de Gouw, Stijn^{Aff9, Aff11}, Hiep, Hans-Dieter A.^{Aff9, Aff10}, Bian, Jinting^{Aff9, Aff10}

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Tapia Tarifa, Silvia Lizeth, editor^Aff7, Proença, José, editor^Aff8

المصدر: Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings. 13712:141-160

المؤلفون: Bian, Jinting^{Aff1, Aff3}, Hiep, Hans-Dieter A.^{Aff1, Aff3, IDs1070302300426x_cor2}, de Boer, Frank S.^{Aff1, Aff3}, de Gouw, Stijn^{Aff1, Aff2}

المصدر: Formal Methods in System Design: An International Journal. 61(1):63-89

المؤلفون: Bian, Jinting^Aff11, Hiep, Hans-Dieter A.^Aff11, de Boer, Frank S.^Aff11, de Gouw, Stijn^Aff12

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Huisman, Marieke, editor^Aff8, Păsăreanu, Corina, editor^Aff9, Zhan, Naijun, editor^Aff10

المصدر: Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings. 13047:255-272

المؤلفون: Hiep, Hans-Dieter A.^Aff13, Bian, Jinting^Aff13, de Boer, Frank S.^Aff13, de Gouw, Stijn^Aff13

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Ahrendt, Wolfgang, editor^Aff8, Beckert, Bernhard, editor^Aff9, Bubel, Richard, editor^Aff10, Hähnle, Reiner, editor^Aff11, Ulbrich, Mattias, editor^Aff12

المصدر: Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY. 12345:221-245

المؤلفون: Hiep, Hans-Dieter A.^Aff10, Bian, Jinting^Aff10, de Boer, Frank S.^Aff10, de Gouw, Stijn^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Dongol, Brijesh, editor^Aff8, Troubitsyna, Elena, editor^Aff9

المصدر: Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. 12546:199-217