المؤلفون: Notzli, Andres, Barbosa, Haniel, Niemetz, Aina, Preiner, Mathias, Reynolds, Andrew, Barrett, Clark, Tinelli, Cesare

المصدر: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :65-74 Oct, 2022

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

المؤلفون: Lachnitt, Hanna^Aff9, Fleury, Mathias^Aff12, Aniva, Leni^Aff9, Reynolds, Andrew^Aff10, Barbosa, Haniel^Aff11, Nötzli, Andres^Aff13, Barrett, Clark^Aff9, 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, Yung, Moti, Editorial Board Member^Aff6, Finkbeiner, Bernd, editor^Aff7, Kovács, Laura, editor^Aff8

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. 14570:311-330

المؤلفون: Janota, Mikolas, Barbosa, Haniel, Fontaine, Pascal, Reynolds, Andrew

المصدر: 2021 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2021 Formal Methods in. :256-260 Oct, 2021

Relation: 2021 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)

المؤلفون: Schurr, Hans-Jörg, Fleury, Mathias, Barbosa, Haniel, Fontaine, Pascal

المصدر: EPTCS 336, 2021, pp. 49-54

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

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

المؤلفون: Andreotti, Bruno^Aff9, Lachnitt, Hanna^Aff10, Barbosa, Haniel^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, Yung, Moti, Editorial Board Member^Aff6, Sankaranarayanan, Sriram, editor^Aff7, Sharygina, Natasha, editor^Aff8

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I. 13993:367-386

المؤلفون: Tourret, Sophie, Fontaine, Pascal, El Ouraoui, Daniel, Barbosa, Haniel

المصدر: Satisfiability Modulo Theories, 3--14 (2020); Satisfiability Modulo Theories, from 18-07-2021 to 19-07-2021

مصطلحات موضوعية: Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

Relation: http://ceur-ws.org/Vol-2854/short1.pdf

URL الوصول: https://orbi.uliege.be/handle/2268/265869

المؤلفون: Reis, Giselle, Barbosa, Haniel

المصدر: EPTCS 301, 2019

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

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

المؤلفون: Reynolds, Andrew, Barbosa, Haniel, Nötzli, Andres, Barrett, Clark, Tinelli, Cesare

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

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

المؤلفون: Abate, Alessandro, Barbosa, Haniel, Barrett, Clark, David, Cristina^{Aff4, IDs10817023096644_cor4}, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth, Reynolds, Andrew, Tinelli, Cesare

المصدر: Journal of Automated Reasoning. 67(2)