Especificación,
Verificación y
Derivación Formal
de Programas

Javier Álvez Xabier Arregi José Gaintzarain Paqui Lucio Monste Maritxalar