Higher-Order Model Checking

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

Matthew Hague - Invited speaker

14 Mar 201617 Mar 2016

Higher-Order Model Checking

Duration14 Mar 201617 Mar 2016
CountryJapan
Web address (URL)
Degree of recognitionInternational event

Event: Workshop

ID: 33183980