2023_03_news

I attended the Dagstuhl seminar on Software Bug Detection: Challenges and Synergies! It was great to discuss with so many experts in bug detection!