Dr Fabio Papacchini
Lecturer in Computer SciencePublications updated. Displaying 1 publications
2023
Conference contribution/Paper
Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic
Nalon, C., Hustadt, U., Papacchini, F., Dixon, C. 2/09/2023
Collaborations to Foster and Enhance Students’ Professional Development
26/02/2024 → 21/12/2024
Other
- Security Lancaster (Software Security)
- Security Lancaster (Systems Security)