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

المؤلفون: Niemetz, Aina^Aff9, Preiner, Mathias^Aff9, Zohar, Yoni^Aff10

المساهمون: Goos, Gerhard, Series 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, Gurfinkel, Arie, editor^Aff7, Ganesh, Vijay, editor^Aff8

المصدر: Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I. 14681:178-200

المؤلفون: Preiner, Mathias

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

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

المؤلفون: Niemetz, Aina, Preiner, Mathias

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

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

المؤلفون: Niemetz, Aina^Aff9, Preiner, Mathias^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, Enea, Constantin, editor^Aff7, Lal, Akash, editor^Aff8

المصدر: Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II. 13965:3-17

المؤلفون: Scott, Joseph^{Aff1, IDs10009023006960_cor1}, Niemetz, Aina, Preiner, Mathias, Nejati, Saeed, Ganesh, Vijay

المصدر: International Journal on Software Tools for Technology Transfer. 25(2):219-239

المؤلفون: Scott, Joseph^{Aff1, IDs10009023007141_cor1}, Niemetz, Aina, Preiner, Mathias, Nejati, Saeed, Ganesh, Vijay

المصدر: International Journal on Software Tools for Technology Transfer. 25(5-6):799-800

المؤلفون: Niemetz, Aina, Preiner, Mathias

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

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

المؤلفون: Ozdemir, Alex, Niemetz, Aina, Preiner, Mathias, Zohar, Yoni, Barrett, Clark

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

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

المؤلفون: Niemetz, Aina, Preiner, Mathias, Reynolds, Andrew, Zohar, Yoni, Barrett, Clark, Tinelli, Cesare

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

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