Formal Methods at Open University

Activity: Talk or presentation typesTalk or presentation (not at a conference)Academic

Description

Overview of Computer Science Formal Method Research at Open University
Period3 Sep 2018
Event titleA research agenda for formal methods in the netherlands
Event typeWorkshop
LocationLeiden, NetherlandsShow on map
Degree of RecognitionNational