المؤلفون: Cruz-Filipe, Luís, Graversen, Eva, Montesi, Fabrizio, Peressotti, Marco

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

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

المؤلفون: Cruz-Filipe, Luís, Lugović, Lovro, Montesi, Fabrizio

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

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

المؤلفون: Cruz-Filipe, Luís, Montesi, Fabrizio

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

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

المؤلفون: Bogaerts, Bart^Aff27, Cruz-Filipe, Luís^Aff28

المساهمون: 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:84-99

المؤلفون: Cruz-Filipe, Luís, Montesi, Fabrizio, Peressotti, Marco

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

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

المؤلفون: Kjær, Bjørn Angel, Cruz-Filipe, Luís, Montesi, Fabrizio

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

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

المؤلفون: Cruz-Filipe, Luis, Larsen, Kim S., Montesi, Fabrizio, Safina, Larisa

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

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

المؤلفون: Cruz-Filipe, Luís, Graversen, Eva, Lugović, Lovro, Montesi, Fabrizio, Peressotti, Marco

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

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

المؤلفون: Rebola-Pardo, Adrian, Cruz-Filipe, Luis

المصدر: 2018 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2018. :1-9 Oct, 2018

Relation: 2018 Formal Methods in Computer Aided Design (FMCAD)

المؤلفون: Cruz-Filipe, Luís, Montesi, Fabrizio, Peressotti, Marco

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

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