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},
url = {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},
}