Alexandru Florin Iosif-Lazăr

PhD student

Subject: Variability and Verification

VARIES research project

Supervisor: Andrzej Wąsowski

Software and Systems Section

Process and System Models Group

afla [at] itu [dot] dk

IT University
Langgaards Vej 7
room 2M27
2300 Copenhagen S
Denmark