Announcement_10

Participating in the Dagstuhl Seminar Sound Static Program Analysis in Modern Software Engineering! 🤓

Our slides: Towards Interactive Abstract Interpretation for Multithreaded Programs