No photo of Marieke Huisman

Marieke Huisman

prof.dr.

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

Research Output 2008 2019

Filter
Editorial
2017

Verification of Concurrent Software

Huisman, M., 2017, In : Electronic proceedings in theoretical computer science. 261, p. 2-2

Research output: Contribution to journalEditorialAcademicpeer-review