Research Output 2008 2018

Filter
Book editing
2018
2017
Software engineering
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: ScientificBook editing

Formal methods