Presenter

Full Program · · Organizations · Search Program · Flagged · Happening Now

Sean Safarpour

Presentations

Engineering Presentation

A Leap Forward in Formal Verification Using Generative AI

4:15pm - 4:30pm PDT Tuesday, June 24 2010, Level 2