shorten reference

docs/src/refs.bib

@@ -1,4 +1,3 @@
-
 @inproceedings{GehrMDTCV18,
   author       = {Timon Gehr and
                   Matthew Mirman and
@@ -8,16 +7,12 @@ @inproceedings{GehrMDTCV18
                   Martin T. Vechev},
   title        = {{AI2:} Safety and Robustness Certification of Neural Networks with
                   Abstract Interpretation},
-  booktitle    = {2018 {IEEE} Symposium on Security and Privacy, {SP} 2018, Proceedings,
-                  21-23 May 2018, San Francisco, California, {USA}},
+  booktitle    = {Security and Privacy ({SP})},
   pages        = {3--18},
   publisher    = {{IEEE} Computer Society},
   year         = {2018},
   url          = {https://doi.org/10.1109/SP.2018.00058},
-  doi          = {10.1109/SP.2018.00058},
-  timestamp    = {Fri, 24 Mar 2023 00:03:11 +0100},
-  biburl       = {https://dblp.org/rec/conf/sp/GehrMDTCV18.bib},
-  bibsource    = {dblp computer science bibliography, https://dblp.org}
+  doi          = {10.1109/SP.2018.00058}
 }
 
 @inproceedings{SinghGMPV18,