Formal Methods at Open University

  • Marko van Eekelen (Speaker)

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

Description

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