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

2 points | by rbanffy an hour ago

No comments yet