Tesis de grado Metodología de Programación con Dafny y KeY Autor(es): Hernández Lorenzo, Matías Sebastián - Drago Ciliano, Gianfranco
Fecha de publicación: 2022
Institución: Universidad ORT Uruguay

Tesis de grado Lógica de programación con Dafny Autor(es): Hernández Lorenzo, Matías Sebastián
Fecha de publicación: 2021
Institución: Universidad ORT Uruguay