Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL

Aquesta tesi apareix a les col·leccions següents