Mariëlle Ida Antoinette Stoelinga

dr.

20042020

Research output per year

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

Research Output

Filter
Book editing
2014
2012

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Stoelinga, M. (ed.) & Pinger, R. (ed.), Aug 2012, London: Springer. 221 p. (Lecture Notes in Computer Science; vol. 7437)

Research output: Book/ReportBook editingAcademic

Open Access
File
260 Downloads (Pure)

Proceedings of the 17th Dutch Testing Day: Testing Evolvability, November 29, 2011, University of Twente, Enschede

Stoelinga, M. (ed.) & Timmer, M. (ed.), Feb 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 27 p. (CTIT Workshop Proceedings Series; no. WP12-01)

Research output: Book/ReportBook editingAcademic

Open Access
File
41 Downloads (Pure)