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