Abstract Neural Networks

Sotoudeh, Matthew and Thakur, Aditya V.
27th Static Analysis Symposium (SAS), 2020



@inproceedings{SAS20b,
  author = {Sotoudeh, Matthew and Thakur, Aditya V.},
  title = {Abstract Neural Networks},
  booktitle = {27th Static Analysis Symposium (SAS)},
  year = {2020},
  note = {To appear}
}