21
October
2021
Verifiability Talk 20: Formal Methods for User-Centred Design
Speaker: José Campos (University of Minho)
Title: “Formal Methods for User-Centred Design”
Date: 21/10/2021 – Meeting Link
Time: 16:00-17:00 (British Summer Time, GMT+1)