Send email Copy Email Address
Postdoc

Hadar Frenkel

Email

Phone

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Publications by Hadar Frenkel

Year 2022

Conference / Medium

ATVA
ATVAATVA 2022

Conference / Medium

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

Conference / Medium

CSL
CSLCSL