‹Programming› 2024
Mon 11 - Fri 15 March 2024 Lund, Sweden
‹Programming› 2024 (series) / Matt Griffin
Matt Griffin

Registered user since Mon 18 Jul 2022

Name:Matt Griffin
Country:United Kingdom
Affiliation:University of Surrey
Personal website: https://www.surrey.ac.uk/people/matt-griffin
Research interests:Formal Verification, Isabelle/HOL, Cyber Security

Contributions

2024

Show activities from other conferences

‹Programming› 2024-profile
View general profile