Guy Amir
发表
Guy Katz,
Michael Schapira,
Guy Amir,
2021,
2021 Formal Methods in Computer Aided Design (FMCAD).
Guy Katz,
Guy Amir,
D. Harel,
2022,
ArXiv.
Guy Katz,
Guy Amir,
D. Harel,
2022,
2206.09603.
Guy Katz,
Michael Schapira,
Guy Amir,
2022,
2022 Formal Methods in Computer-Aided Design (FMCAD).
Guy Katz,
Guy Amir,
D. Harel,
2022,
ArXiv.
Guy Katz,
Guy Amir,
Z. Freund,
2022,
2212.03287.
Guy Katz,
Guy Amir,
E. Komendantskaya,
2021,
CAV.
Guy Katz,
Guy Amir,
D. Harel,
2023,
SN Computer Science.
Guy Katz,
Michael Schapira,
Guy Amir,
2023,
ArXiv.
Dror G. Feitelson,
Nir Zabari,
Tal Reiss,
2021,
2021 IEEE/ACM 8th International Workshop on Software Engineering Research and Industrial Practice (SER&IP).
Guy Katz,
Michael Schapira,
Guy Amir,
2023,
CAV.
Clark Barrett,
Haoze Wu,
Clark W. Barrett,
2020,
TACAS.
Guy Katz,
Guy Amir,
D. Harel,
2022,
TACAS.
Guy Katz,
Michael Schapira,
Guy Amir,
2021,
ArXiv.
Guy Katz,
Guy Amir,
Davide Corsi,
2023,
ArXiv.
Clark W. Barrett,
Guy Katz,
Guy Amir,
2020,
TACAS.