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

Matthis Kruse

E-Mail

Telefon

Adresse

Kaiserstraße 21
66386 St. Ingbert (Germany)

Weitere Informationen

Veröffentlichungen von Matthis Kruse

Jahr 2022

Konferenz / Medium

PriSC
Workshop on Principles of Secure CompilationACM SIGPLAN Workshop on Principles of Secure Compilation, 2022

Jahr 2020

Konferenz / Medium

RV
Runtime Verification - 20th International Conference20th International Conference on Runtime Verification