المؤلفون: Barbanera, Franco, Dezani-Ciancaglini, Mariangiola

المصدر: EPTCS 383, 2023, pp. 15-34

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.1.2, F.3.2, F.3.3

URL الوصول: http://arxiv.org/abs/2308.10653

المؤلفون: Barbanera, Franco^Aff27, Dezani-Ciancaglini, Mariangiola^Aff28, de’Liguoro, Ugo^Aff28, Venneri, Betti^Aff29

المساهمون: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, van Leeuwen, Jan, Series Editor^Aff3, Hutchison, David, Editorial Board Member^Aff4, Kanade, Takeo, Editorial Board Member^Aff5, Kittler, Josef, Editorial Board Member^Aff6, Kleinberg, Jon M., Editorial Board Member^Aff7, Kobsa, Alfred, Series Editor^Aff8, Mattern, Friedemann, Editorial Board Member^Aff9, Mitchell, John C., Editorial Board Member^Aff10, Naor, Moni, Editorial Board Member^Aff11, Nierstrasz, Oscar, Series Editor^Aff12, Pandu Rangan, C., Editorial Board Member^Aff13, Sudan, Madhu, Series Editor^Aff14, Terzopoulos, Demetri, Editorial Board Member^Aff15, Tygar, Doug, Editorial Board Member^Aff16, Weikum, Gerhard, Series Editor^Aff17, Vardi, Moshe Y, Series Editor^Aff18, Bertino, Elisa, Editorial Board Member^Aff19, Gao, Wen, Editorial Board Member^Aff20, Steffen, Bernhard, Editorial Board Member^Aff21, Yung, Moti, Editorial Board Member^Aff22, Woeginger, Gerhard, Editorial Board Member^Aff23, Capretta, Venanzio, editor^Aff24, Krebbers, Robbert, editor^Aff25, Wiedijk, Freek, editor^Aff26

المصدر: Logics and Type Systems in Theory and Practice : Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. 14560:17-35

المؤلفون: Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio

المصدر: Logical Methods in Computer Science, Volume 19, Issue 3 (August 2, 2023) lmcs:10165

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2210.08223

المؤلفون: Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio

المصدر: EPTCS 365, 2022, pp. 53-68

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, D.2.4, F.3.1, D.3.1, D.1.3

URL الوصول: http://arxiv.org/abs/2208.04634

المؤلفون: Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2107.06727

المؤلفون: Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio

المصدر: In Journal of Logical and Algebraic Methods in Programming October 2023 135

المؤلفون: Barbanera, Franco, Dezani-Ciancaglini, Mariangiola

المصدر: EPTCS 304, 2019, pp. 77-96

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.3.1

URL الوصول: http://arxiv.org/abs/1909.05972

المؤلفون: Barbanera, Franco, de'Liguoro, Ugo, Hennicker, Rolf

المصدر: EPTCS 279, 2018, pp. 4-20

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1810.02468

المؤلفون: Barbanera, Franco^Aff9, Dezani-Ciancaglini, Mariangiola^Aff10, de’Liguoro, Ugo^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:222-243

المؤلفون: Coto, Alex^Aff9, Barbanera, Franco^Aff10, Lanese, Ivan^Aff11, Rossi, Davide^Aff12, Tuosto, Emilio^Aff9

المساهمون: 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, Aff8}, Yung, Moti, Editorial Board Member^Aff6, Margaria, Tiziana, editor^Aff7

المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. 13701:205-219