Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Browse the full VMCAI paper archive.