Higher-Order Model Checking

Activity: Participating in or organising an event › Workshop, seminar, course or webinar.

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