No photo of Marieke Huisman

Marieke Huisman


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

Research Output 2008 2019

Book editing
9 Downloads (Pure)

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Beyer, D. (ed.), Huisman, M. (ed.), Kordon, F. (ed.) & Steffen, B. (ed.), 2019, Springer. (Lecture Notes in Computer Science; vol. 11429)

Research output: Book/ReportBook editingAcademic

Open Access

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. 538 p. (Lecture Notes in Computer Science; vol. 9681)

Research output: Book/ReportBook editingAcademic