Some synthesis problems from the embedded systems domain, at Dagstuhl Seminar on “Software Synthesis”

Activity: Talk or presentation typesPublic or invited talk

Period10 Apr 2012
Event titleDagstuhl Seminar 12152: Software Synthesis
Event typeSeminar
LocationWadern, Germany
Degree of RecognitionInternational