* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Thu 31 May 2018 14:00 - 14:30 at E1/B room - Verification Chair(s): Marie-Christine Jakobs

Thu 31 May

icse-2018-Demonstrations
14:00 - 15:30: DEMO - Demonstrations - Verification at E1/B room
Chair(s): Marie-Christine JakobsLMU, Munich, Germany
icse-2018-Demonstrations14:00 - 14:30
Talk
Link to publication
icse-2018-Demonstrations14:30 - 15:00
Demonstration
Vince MolnárBudapest University of Technology and Economics, Bence GraicsBudapest University of Technology and Economics, András VörösBudapest University of Technology and Economics, Istvan MajzikBudapest University of Technology and Economics, Daniel VarroMcGill University / Budapest University of Technology and Economics
DOI Pre-print Media Attached
icse-2018-Demonstrations15:00 - 15:30
Talk
Ahmet CelikUniversity of Texas at Austin, USA, Karl PalmskogThe University of Texas at Austin, Milos GligoricUniversity of Texas at Austin
Pre-print Media Attached File Attached