Técnicas formales para la seguridad del código móvil

Dictado por Gilles Barthe

Contenidos

Slides