Doktorand:in
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
Conference on Neural Information Processing Systems (NeurIPS)
Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
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