E-mail senden E-Mail Adresse kopieren
Doktorand:in

Niklas Metzger

E-Mail

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Gruppenmitglied in

Veröffentlichungen von Niklas Metzger

Jahr 2021

2021-10-12

Live Synthesis

Konferenz / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)