Questions and answers on AI and verification: follow-up to my May ACM Tech Talk

 (bertrandmeyer.com)

4 points | by rbanffy 17 hours ago ago

No comments yet.