Artículo.
construcción nondet_assign. A continuación, la suposición mantiene solo aquellas cadenas que no terminan con el sufijo “a”. Posteriormente, se llama al sistema bajo verificación (es decir, función ‘canonizar’) y se define una aserción en el resultado. 5.2 Cat II: parámetros de entrada / salida Esta