المؤلفون: Larraz, Daniel, Lorch, Robert, Yahyazadeh, Moosa, Arif, M. Fareed, Chowdhury, Omar, Tinelli, Cesare

المصدر: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :209-220 Oct, 2023

Relation: 2023 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Larraz, Daniel, Tinelli, Cesare

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

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

المؤلفون: Arif, M. Fareed, Larraz, Daniel, Echeverria, Mitziu, Reynolds, Andrew, Chowdhury, Omar, Tinelli, Cesare

المصدر: 2020 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2020. :93-103 Sep, 2020

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

المؤلفون: Barbosa, Haniel, Reynolds, Andrew, Larraz, Daniel, Tinelli, Cesare

المصدر: 2019 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2019 Formal Methods in. :212-220 Oct, 2019

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

المؤلفون: Siu, Kit, Moitra, Abha, Li, Meng, Durling, Michael, Herencia-Zapana, Heber, Interrante, John, Meng, Baoluo, Tinelli, Cesare, Chowdhury, Omar, Larraz, Daniel, Yahyazadeh, Moosa, Arif, M. Fareed, Prince, Daniel

المصدر: 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2019 IEEE/AIAA 38th. :1-10 Sep, 2019

Relation: 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC)

المؤلفون: Larraz, Daniel, Laurent, Mickaël, Tinelli, Cesare

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

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

المؤلفون: Borralleras, Cristina, Larraz, Daniel, Oliveras, Albert, Rodriguez-Carbonell, Enric, Rubio, Albert

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

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

المؤلفون: Larraz, Daniel, Oliveras, Albert, Rodriguez-Carbonell, Enric, Rubio, Albert

المصدر: 2013 Formal Methods in Computer-Aided Design Formal Methods in Computer-Aided Design (FMCAD), 2013. :218-225 Oct, 2013

Relation: 2013 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Reynolds, Andrew^Aff10, Barbosa, Haniel^Aff11, Larraz, Daniel^Aff10, Tinelli, Cesare^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, Peltier, Nicolas, editor^Aff8, Sofronie-Stokkermans, Viorica, editor^Aff9

المصدر: Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I. 12166:141-160

المؤلفون: Brockschmidt, Marc, Larraz, Daniel, Oliveras, Albert, Rodriguez-Carbonell, Enric, Rubio, Albert

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

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