TY  - RPRT
TI  - Property Inference for Deep Neural Networks
AU  - Divya Gopinath
AU  - Hayes Converse
AU  - Corina S. Pasareanu
AU  - Ankur Taly
PY  - 2020
UR  - https://arxiv.org/abs/1904.13215
ID  - 1904.13215
ER  -