A Research Agenda for Formal Methods in the Netherlands

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]

Abstract

Abstract is missing.