No photo of Marieke Huisman

Marieke Huisman

prof.dr.

20082018
If you made any changes in Pure these will be visible here soon.

Research Output 2008 2018

Filter
Book editing
2018
Open Access
File
Open Access
File
2017
2016

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Abraham, E. (ed.) & Huisman, M. (ed.) Jun 2016 London: Springer Verlag. 538 p. (Lecture Notes in Computer Science; vol. 9681)

Research output: Book/ReportBook editing