Higher-Order Model Checking

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

Period14 Mar 201617 Mar 2016
Event typeWorkshop
LocationJapan
Degree of RecognitionInternational