2021-01, VU Quarterly

file

Visible to the public Formal Methods at Scale: Workshops and Opportunity Motivations

Presentation by Brad Martin at the Winter '21 SoS Lablet Quarterly Meeting