Metodología para hipervisores seguros utilizando técnicas de validación formal

Aquesta tesi apareix a les col·leccions següents