Jrg Herter, Daniel Kstner, Christoph Mallon, Reinhard Wilhelm
Browse the full SAFECOMP paper archive.