Volver atrás Publicación
Vidal Oriola Germán Francisco
2014
Concolic Execution and Test Case Generation in Prolog