Linked to Topics Covered in the Lectures

Using Formal Methods to Enhance Security in Complex Systems: an Industrial Achievement