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 .
<br/><br/><label>ISSN: </label>000170782