Niklas Metzger

CAV
Computer Aided VerificationCAV 2023

ATVA
ATVAATVA 2022

CAV
34th International Conference on Computer Aided Verification, Proceedings (to appear)34th International Conference on Computer Aided Verification (CAV 22)

CAV
Proceedings of 34th International Conference on Computer Aided Verification (CAV 22)34th International Conference on Computer Aided Verification (CAV 22)

Innovations in Systems and Software Engineering

IEEE VIS
IEEE Transactions on Visualization and Computer GraphicsIEEE VIS 2021

ATVA
Proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)

ATVA