record conf/sofsem/BrodoO17

maintained by Schloss Dagstuhl LZI at University of Trier