Join the MSc defence of András Fekete and Jakob Due Jensen, who present a static analysis tool based on abstract interpretation for detecting potential runtime errors before software is executed. https://di.ku.dk/english/events/event-calendar-2026/msc-defence-by-andras-fekete-and-jakob-due-jensen/
Advertisement
Stats
- Recommendations n/a n/a positive of 0 vote(s)
- Views 2
- Comments 0
