Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical report UU-CS-2019-004

select other reports


techrep_id file title / author
UU-CS-2019-004 pdf A Research Agenda for Formal Methods in the Netherlands
Marieke Huisman, Wouter Swierstra and Eelco Visser

indexed authors

author group
Swierstra, dr. W.S. all reports Software Technology all reports

BibTeX entry

author = {Huisman, Marieke and Swierstra, Wouter and Visser, Eelco},
year = 2019,
title = {A Research Agenda for Formal Methods in the Netherlands},
number = {UU-CS-2019-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{}},
pubcat = {techreport}