Hadar Frenkel

ATVA
ATVA 2023 - International Symposium on Automated Technology for Verification and AnalysisATVA 2023

CAV
Computer Aided VerificationCAV 2023

NFM
NFMNFM

Logical Methods in Computer Science

ATVA
ATVAATVA 2022

International Journal on Software Tools for Technology Transfer

GandALF
EPTCSGandALF

CAV
34th International Conference on Computer Aided Verification, Proceedings (to appear)34th International Conference on Computer Aided Verification (CAV 22)

CSL
CSLCSL