Slides pdf Raleigh, NC SaTML'232023
Slides pdf Ikerlan 2023
Slides pdf Radboud University 2022
Slides pdf Virtual CCS'222022
Slides pdf Virtual VeriDevOps2022
Slides pdf Ikerlan 2022