Free  Webinar

Formal Verification for Non-Specialists

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