ASM moore: de la especificación al ASM
Gadea Gironés, Rafael; Paso de especificación a solución ASM mediante un modelo Moore http://hdl.handle.net/10251/204860
Gadea Gironés, Rafael; Paso de especificación a solución ASM mediante un modelo Moore http://hdl.handle.net/10251/204860