Programen espezifikazio, egiaztapen eta eratorpen formala / Javier Álvez Gimenez... [et al] - Arregi Iparragirre, Xabier (Udako Euskal Unibertsitatea : Euskal Herriko Unibertsitatea, 2016)