Skip to main navigation Skip to search Skip to main content

Formal Methods at Open University

  • Marko van Eekelen (Speaker)

Activity: Talk or presentation types › Talk 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