28 January 2021

Verifiability Talk 2: Unifying Semantic Framework for Verifiability (Jim Woodcock, York)

16:00 – 17:00