Most of our publications are avaiable from the EPrints server, a few execptions are listed below.

techreport-gpgpu.pdf - S. Blom, M. Huisman, and M. Mihelcic, Specification and verification of gpgpu programs, 2013, CTIT technical report (265 KB) Stefan Blom, 17 Nov 2013 12:00

techreport-magicwand.pdf - S. Blom and M. Huisman, Witnessing the elimination of magic wands, 2013, CTIT technical report. (440 KB) Stefan Blom, 17 Nov 2013 12:03