ASM moore: de la especificación al ASM

Paso de especificación a solución ASM mediante un modelo Moore Gadea Gironés, R. (2024). ASM moore: de la especificación al ASM. https://riunet.upv.es/handle/10251/204860 DER