Publicaciones

Verifying goal-oriented specifications used in model-driven development processes

Investigador Asociado

Beatriz Mariela Marín Campusano