BibTeX
@INPROCEEDINGS{
         Schordan2017VtF,
       author = "Markus Schordan and Jan H{\"{u}}ckelheim and Pei{-}Hung Lin and Harshitha
         Menon",
       editor = "Ignacio Laguna and Cindy Rubio{-}Gonz{\'{a}}lez",
       title = "Verifying the Floating-Point Computation Equivalence of Manually and Automatically
         Differentiated Code",
       booktitle = "Proceedings of the First International Workshop on Software Correctness for {HPC}
         Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017",
       pages = "34--41",
       publisher = "{ACM}",
       year = "2017",
       url = "https://doi.org/10.1145/3145344.3145489",
       doi = "10.1145/3145344.3145489",
       ad_area = "Error Analysis"
}