Posted on September 12, 2017
Categories: idris, glasgow, talks, arm-summit
Wim gave a introductory talk about the Border Patrol Project at the 2017 Arm Researcher Summit.
Slides are available on request.