TY  - RPRT
TI  - DNNV: A Framework for Deep Neural Network Verification
AU  - David Shriver
AU  - Sebastian Elbaum
AU  - Matthew B. Dwyer
PY  - 2021
DO  - 10.1007/978-3-030-81685-8_6
UR  - https://arxiv.org/abs/2105.12841
ID  - 2105.12841
ER  -