Thiago D. Simão
  • about
  • bio
  • projects
  • publications

2021 12 14

December 14, 2021

2021

Talk at the iVerif workshop on Safety Abstractions.

© Copyright 2025 Thiago D. Simão. Powered by Jekyll with al-folio theme. Hosted by GitHub Pages.Last updated: December 11, 2025.