Explora I+D+i UPV

Volver atrás Publicación

Automatic partial inversion of inductively sequential functions

Compartir
Año

Revista

Lecture Notes in Computer Science