Dagstuhl Seminar 15451: Verification of Evolving Graph Structures

Activity: Participating in or organising an eventSeminar/workshop/course

Period2015
Event typeSeminar
LocationDagstuhl, GermanyShow on map