Buscar por Sustentante Cortés Ortiz, Juan Carlos
Mostrando resultados 1 a 1 de 1
Vista previa | Título | Sustentante | Fecha de publicación |
---|---|---|---|
Métodos formales ligeros : especificación de un sistema de correo electrónico en el analizador Alloy | Cortés Ortiz, Juan Carlos | 2011 |