24
February
2022
Verifiability Talk 28: “A Multi-language Platform for Compositional Symbolic Analysis”
Speaker: Philippa Gardner (Imperial College)
Title: “A Multi-language Platform for Compositional Symbolic Analysis”
Date: 24/02/2022 – Meeting Link
Time: 16:00-17:00 (UTC (GMT))