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

Dictado por [[http://www-sop.inria.fr/everest/Gilles.Barthe/|Gilles Barthe]]

[[http://www.cs.famaf.unc.edu.ar/index.php?option=com_content&task=view&id=111&Itemid=74|Contenidos]]



===== Slides =====

  * {{seguridadposgrado:main1.pdf|Primer clase}}