Paper on formal methods and cybersecurity education from FMFun 2019

In December 2019, my colleague James Davenport from the University of Bath presented...