E-mail senden E-Mail Adresse kopieren
Postdoc

Hadar Frenkel

E-Mail

Telefon

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Gruppenmitglied in

Veröffentlichungen von Hadar Frenkel

Jahr 2022

Artikel

International Journal on Software Tools for Technology Transfer

Konferenz / Medium

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