Tesis de grado Formalization of graphs in Dafny Autor(es): Bordagorry Burgueño, Juan Martín - Pérez Pedetti, Santiago
Fecha de publicación: 2024
Institución: Universidad ORT Uruguay