Kaiserstraße 21
66386 St. Ingbert (Germany)
PriSC
Workshop on Principles of Secure CompilationACM SIGPLAN Workshop on Principles of Secure Compilation, 2022
RV
Runtime Verification - 20th International Conference20th International Conference on Runtime Verification