Consultas de Teórico

Felicitaciones  Damián! Será una escuela muy interesante.

Hay muchas posibilidades para usar métodos formales, en particular en seguridad pero también en otras áreas (matemática, ingeniería de software, etc)

Saludos Carlos