4th International SAT/SMT PhD Summer School, Austria

Keijo Heljanko (Speaker)

Activity: Talk or presentation typesPublic or invited talk

Period2014
Event titleSAT/SMT Summer School: null
Event typeConference
Conference number4
LocationSemmering, Austria