Shriver, D., Elbaum, S., & Dwyer, M. (2021). DNNV: A Framework for Deep Neural Network Verification [Conference paper]. Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I, 12759, 137–150. https://doi.org/10.1007/978-3-030-81685-8_6