SEFM20-submission

Thomas Lemberger

@lemberger

0f997e96 · Fix minor bugs regarding copyright, directory renames and readme · Jun 02, 2020

Revision used for SEFM'20 submission artifact