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}, }