Q&A after ACM Webinar on Software Verification in the Age of Artificial
Intelligence
-
On May 7 I gave a well-attended seminar on “Software Verification in the
Age of Artificial Intelligence” (see the announcement here and the
recording the...
1 week ago

No comments:
Post a Comment