10 February 2022

Verifiability Talk 27: “Runtime Verification for the Masses”

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