2nd Workshop on Verification Witnesses and Their Validation (VeWit 2025)
April 01, 2025 - April 03, 2025, Frauenchiemsee
Home
Program
Call for Abstracts
Group Photo
Past Workshops
Past VeWit Workshops
1st VeWit Workshop
: July 17, 2023, Paris, France