@book{622c0bddbc3c4bb2b1e5208520b95360,
title = "A research agenda for formal methods in the Netherlands",
abstract = "On September 3 and 4, 2018, we organized a meeting on formal methods research in the Netherlands. Goal of the meeting was to create a Dutch formal methods community, to increase awareness of each other{\textquoteright}s activities, and to find common grounds for collaborations. All researchers working on formal methods in the Netherlands were invited to contribute a 2-page abstract with their vision on the future of formal methods research. This document bundles these visions.",
author = "Marieke Huisman and Wouter Swierstra and Eelco Visser",
year = "2019",
language = "English",
series = "Technical Report Series",
publisher = "UU BETA ICS Departement Informatica",
number = "UU-CS-2019-004",
}