GitHub repository: wouter-swierstra/formal-methods-nl
Primary language: TeX
Created: 2018-09-04T18:49:38Z
Description: A research agenda for formal methods in the Netherlands -- abstracts of our Lorentz Center meeting