* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Fri 1 Jun 2018 14:20 - 14:40 at H1 room - Inference and Invariants Chair(s): Robert Feldt

Fri 1 Jun