Diseño por contratos, sistemas de tipos y pruebas: buscando que el software sea correcto
Evento
Conferencista(s)
Durante 20 años programando he sido testigo y usuario de distintas técnicas, prácticas y métodos que buscan disminuir el riesgo de cometer errores al escribir software.