Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)
ATVA
ATVA 2023 - International Symposium on Automated Technology for Verification and AnalysisATVA 2023
International Journal on Software Tools for Technology Transfer
CAV
34th International Conference on Computer Aided Verification, Proceedings (to appear)34th International Conference on Computer Aided Verification (CAV 22)