A research agenda for formal methods in the netherlands

van Eekelen, M. (Participant / Attendee)

Research Line Resilience (part of LIRS program)

Activity: Participating in or organising an event types › Participating in OR organising an event › Academic

Period	3 Sep 2018 → 4 Sep 2018
Event type	Workshop
Location	Leiden, Netherlands
Degree of Recognition	National