Workshop on Synthesis, Verification and Analysis of Rich Models (SVARM), Madrid, 2013
- Robert Könighofer (Speaker)
Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science