Modelo no determinista para la auto-verificación de integridad de componentes de software

Aquesta tesi apareix a les col·leccions següents