@InProceedings{Daum:CCVW07-17,
  author =       "Matthias Daum",
  title =        "Reasoning on Data-Parallel Programs in
                 {Isabelle/HOL}",
  year =         "2007",
  pages =        "17--28",
  booktitle =    "Proceedings of the C/C++ Verification Workshop",
  series =       "ICIS Technical Report",
  number =       "R07015",
  month =        jun,
  publisher =    "Radboud University Nijmegen",
  editor =       "Hendrik Tews",
  ee =           "https://pms.cs.ru.nl/iris-diglib/src/getContent.php?id=2007-Tews-cv&.pdf",
}