%0 Conference Paper %1 conf/icse/0024NPSG21 %A Usman, Muhammad %A Noller, Yannic %A Pasareanu, Corina S. %A Sun, Youcheng %A Gopinath, Divya %B ICSE (Companion Volume) %D 2021 %I IEEE %K dblp %P 25-28 %T NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks. %U http://dblp.uni-trier.de/db/conf/icse/icse2021c.html#0024NPSG21 %@ 978-1-6654-1219-3

@inproceedings{conf/icse/0024NPSG21, added-at = {2023-03-21T00:00:00.000+0100}, author = {Usman, Muhammad and Noller, Yannic and Pasareanu, Corina S. and Sun, Youcheng and Gopinath, Divya}, biburl = {https://www.bibsonomy.org/bibtex/21ccc8e9cd673e175d1b76ce40e77ae8b/dblp}, booktitle = {ICSE (Companion Volume)}, crossref = {conf/icse/2021c}, ee = {https://doi.org/10.1109/ICSE-Companion52605.2021.00027}, interhash = {ecd519d704f5b4a92f56cf9bff5214c7}, intrahash = {1ccc8e9cd673e175d1b76ce40e77ae8b}, isbn = {978-1-6654-1219-3}, keywords = {dblp}, pages = {25-28}, publisher = {IEEE}, timestamp = {2024-04-10T00:10:55.000+0200}, title = {NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2021c.html#0024NPSG21}, year = 2021 }