Communications of the ACM : towards verified artificial intelligence /
Communications of the ACM : towards verified artificial intelligence /
James Larus.
- New York, NY : ACM Media, July 2022.
- 96 pages ; 28 cm.
- V.65, No.07 .
000170782
000170782