Announcement_9

Our paper The digest framework: concurrency-sensitivity for abstract interpretation has just appeared in the special issue of STTT dedicated to CSV’24 📝