Free  Webinar

Dealing with Inconclusive Formal Proofs

 
  • Date: Thursday, August 10, 2023
  • Duration: 1 hour (with live Q&A)
  • Time: 11:00 am – 12:00 pm (CEST)
  • Presenter: Doug Smith