Explora I+D+i UPV

Volver atrás Publicación

Concolic Execution and Test Case Generation in Prolog

Compartir
Año

CONGRESO

Concolic Execution and Test Case Generation in Prolog