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

Julian Siber

E-Mail

Telefon

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Gruppenmitglied in

Veröffentlichungen von Julian Siber

Jahr 2023

Konferenz / Medium

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

Konferenz / Medium

International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)

Jahr 2022

chapter

Automated Technology for Verification and Analysis

chapter

Computer Aided Verification

Jahr 2021

Konferenz / Medium

Computer Aided Verification (CAV)