Peter P. Puschner, Raimund Kirner, Benedikt Huber, Daniel Prokesch
Browse the full SAFECOMP paper archive.