Harald Zankl, Christian Sternagel, Dieter Hofbauer, Aart Middeldorp
Browse the full SOFSEM paper archive.