A research agenda for formal methods in the Netherlands -- abstracts of our Lorentz Center meeting
jkeiren/formal-methods-nl
A research agenda for formal methods in the Netherlands -- abstracts of our Lorentz Center meeting
TeX
A research agenda for formal methods in the Netherlands -- abstracts of our Lorentz Center meeting
TeX