Una contribución a las técnicas avanzadas de verificación de procesos de negocio y sistemas software abiertos

Aquesta tesi apareix a les col·leccions següents