Programen espezifikazio, egiaztapen eta eratorpen formalaJavier Álvez Giménez, Xabier Arregi Iparragirre, José Gaintzarain Ibarmia, Paqui Lucio Carrasco, Montse Maritxalar Anglada · First published 2016Open the Tome