Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)
International Symposium on Automated Technology for Verification and Analysis (ATVA)
International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
Automated Technology for Verification and Analysis