Higher-Order Model Checking

Activity: Participating in or organising an event › Participation in workshop, seminar, course

Period14 Mar 2016 → 17 Mar 2016
Event typeWorkshop
LocationJapanShow on map
Degree of RecognitionInternational