Skip to main navigation Skip to search Skip to main content

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