Free  Webinar

Formal Verification for Non-Specialists

  • Date: Friday March 18, 2022
  • Duration: 1 hour (with live Q&A)
  • Time: 11am – 12pm
  • Presenter: Doug Smith
  • Cost: FREE!

.