Verifiability Talk 28: Verified Trustworthy Software Specification, Philippa Gardner (Imperial)
Channel: UKRI TAS Verifiability Node
Date: 2022-03-17

Verifiability Talk 28: Verified Trustworthy Software Specification

Speaker: Philippa Gardner (Imperial College)

Title: Verified Trustworthy Software Specification 
A Multi-language Platform for Compositional Symbolic Analysis

Date: 24/02/2022
Time: 16:00-17:00 (GMT)