Pampanga State Agricultural University

Office of the Library Services and Museum

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