Formal Methods at Open University

van Eekelen, M. (Speaker)

Activity: Talk or presentation typesInvited talkAcademic

Description

Overview of Computer Science Formal Method Research at Open University
Period3 Sep 2018
Held atA research agenda for formal methods in the netherlands
Event typeWorkshop
LocationLeiden, Netherlands
Degree of RecognitionNational