Tuesday, October 1 @12:10 pm
Workshop / Seminar
Online - Online
Title: Correctness and Verification using Software Contracts
Security
October 2024
Tuesday, October 22 @12:10 pm
Workshop / Seminar
Online - Online
Building Trust in an Untrustworthy World