Julian Erhard
发表
Ralf Vogler,
Helmut Seidl,
Julian Erhard,
2020,
From Lambda Calculus to Cybersecurity Through Program Analysis.
Kalmer Apinis,
Helmut Seidl,
Vesal Vojdani,
2021,
TACAS.
Kalmer Apinis,
Helmut Seidl,
Vesal Vojdani,
2021,
SAS.