Julian Siber

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)

Computer Aided Verification (CAV)

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

Computer Aided Verification

Computer Aided Verification (CAV)