CREST 2017

Prof. Leue will co-chair the CREST 2017 workshop to be held as a satellite event of ETAPS 2017 on April 29, 2017.