Tesis de grado Mecanización de verificación formal de programas en Dafny Autor(es): Colina Candiota, Cristian Sebastián - Armas Baison, Guillermo de
Fecha de publicación: 2024
Institución: Universidad ORT Uruguay