Kees van der Sluijs, Geert-Jan Houben, Jeen Broekstra, Sven Casteleyn
Browse the full ICWE paper archive.