IEEE Home IEEE Region 8
11:30 - 12:30 Guest Talk: "(anti-)unification-based techniques for program analysis" | Lectures & Presentations