Publications

Publications for Marieke Huisman

2016
DOI
[bibtex]
Erika Abraham, Marieke Huisman editors. Proceedings of the 12th International Conference on Integrated Formal Methods (iFM'16). Springer International Publishing, Volume 9681 of LNCS, 2016.
Show all