Marieke Huisman, Wouter Swierstra, Eelco Visser. A Research Agenda for Formal Methods in the Netherlands. Technical Report UU-CS-2019-004, Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands, July 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.