@inproceedings{Daum:IFM07/CVW/DPCE, <br>AUTHOR = {Daum, Matthias},<br>TITLE = {Reasoning on Data-Parallel Programs in Isabelle/HOL},<br>YEAR = {2007},<br>PAGES = {17-28}, <br>BOOKTITLE = {C/C++ Verification Workshop, technical report ICIS--R07015}, <br>PUBLISHER = {Radboud University Nijmegen},<br>EDITOR = {Tews, H.},<br>EE = {https://pms.cs.ru.nl/iris-diglib/src/getContent.php?id=2007-Tews-cv},<br>}