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
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.
Stefan Blom, 17 Nov 2013 12:03