000 00632nas a2200169 a 4500
001 135848
003 0000000000
005 20250408094726.0
008 230622n r p 0 0eng d
022 _a000170782
245 0 0 _aCommunications of the ACM :
_btowards verified artificial intelligence /
_cJames Larus.
260 _aNew York, NY :
_bACM Media,
_cJuly 2022.
300 _a96 pages ;
_c28 cm.
490 0 _vV.65, No.07
926 _aDestiny Material Type
_bMagazine
999 _c16291
_d16291