WebMC: a model checker for the Web

• Autores: Víctor Ferman
• Directores de la Tesis: Raúl Monroy (dir. tes.), Dieter Hunter (dir. tes.)
• Lectura: En la Instituto Tecnológico y de Estudios Superiores de Monterrey ( México ) en 2016
• Idioma: inglés
• Enlaces
  • Tesis en acceso abierto en: hdl.handle.net