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]

@techreport{HuismanSV19,
  title = {A Research Agenda for Formal Methods in the Netherlands},
  author = {Marieke Huisman and Wouter Swierstra and Eelco Visser},
  year = {2019},
  month = {July},
  doi = {http://www.staff.science.uu.nl/~swier004/publications/2019-CS-004.pdf},
  researchr = {https://researchr.org/publication/HuismanSV19},
  cites = {0},
  citedby = {0},
  institution = {Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands},
  number = {UU-CS-2019-004},
}