Explora I+D+i UPV

Volver atrás Publicación

Web Services and Interoperability for the Maude Termination Tool

Compartir
Año

Revista

Electronic Notes in Theoretical Computer Science