TY  - SER
TI  - Communications of the ACM: towards verified artificial intelligence 
SN  - 000170782
PY  - 2022///
CY  - New York, NY
PB  - ACM Media
ER  -