Person

Prof.dr.ir. A. Rensink

Pagina-navigatie:

Completed research projects

(the most recent research is at the top)
Project leader	GRASLAND - GRAphs for Software LANguage Definitions
Project leader	Graphs for Object-Oriented Verification
Researcher	Twente Research and Educational Engineering
Project leader	Atomyste: ATOm splitting in eMbedded sYStems TEsting