المؤلفون: Hadzic, Vedad, Bloem, Roderick, Shukla, Ankit, Seidl, Martina

المصدر: 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2022 24th International Symposium on. :80-83 Sep, 2022

Relation: 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

المؤلفون: Hadzic, Vedad, Bloem, Roderick

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

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

المؤلفون: Hadzic, Vedad, Primas, Robert, Bloem, Roderick

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

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

المؤلفون: Bloem, Roderick, Braud-Santoni, Nicolas, Hadzic, Vedad, Egly, Uwe, Lonsing, Florian, Seidl, Martina

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

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

المؤلفون: Bloem, Roderick, Braud-Santoni, Nicolas, Hadzic, Vedad

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

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

المؤلفون: Bloem, Roderick, Braud-Santoni, Nicolas, Hadzic, Vedad^Aff1, Egly, Uwe, Lonsing, Florian, Seidl, Martina

المصدر: Formal Methods in System Design: An International Journal. 57(2):157-177