Report - METODOLOGÍA DE LA PROGRAMACIÓN Informática de …lsi.vc.ehu.es/borja/Meto/Apunteak/Metodologia v5.14.pdf · dominio de la variable ligada al cuantificador y P(x) la propiedad.

Please pass captcha verification before submit form