Campus E1 1
66123 Saarbrücken (Germany)
CAV
34th International Conference on Computer Aided Verification, Proceedings (to appear)34th International Conference on Computer Aided Verification (CAV 22)
IEEE VIS
IEEE Transactions on Visualization and Computer GraphicsIEEE VIS 2021
ATVA
19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, ProceedingsATVA 2021
CAV
Proceedings, Part I33rd International Conference, CAV 2021
CAV
Computer Aided Verification - 33nd International ConferenceCAV 2021
LICS
IEEE Symposium on Logic in Computer Science, LICS
CAV
Computer Aided Verification - 31th International Conference, CAV
Mensch und Computer 2015 - Proceedings, Stuttgart, Germany, September 6-9, 2015