Programen espezifikazio, egiaztapen eta eratorpen formala / Javier Álvez Gimenez... [et al] - Arregi Iparragirre, Xabier; Alvez Gimenez, Javier; Gaintzarain Ibarmia, Jose; Lucio, Paqui; Maritxalar Anglada, Montse (Udako Euskal Unibertsitatea : Euskal Herriko Unibertsitatea, 2016)