Verifiability Talk 27: Runtime Verification for the Masses, Holger Hermanns (Saarland University)
Channel: UKRI TAS Verifiability Node
Date: 2022-03-12

Verifiability Talk 27: “Runtime Verification for the Masses”

Speaker: Holger Hermanns (Saarland University)
Title: “Runtime Verification for the Masses”
Date: 10/02/2022
Time: 16:00-17:00 (GMT)