Ejemplares similares: Algoritmos y estructuras de datos con programas verificados en dafny