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
11 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