Description

Programming assignments on satisfiability checking and satisfiability modulo theories
Aikajakso1 elokuuta 2017
Tapahtuman otsikkoSC2 Summer School
Tapahtuman tyyppiCourse
SijaintiSaarbrücken, Saksa
Tunnustuksen arvoInternational