On the Completeness of Selective Unification in Concolic Testing of Logic Programs

Divulgación de las actividades científicas, tecnológicas y artísticas ocurridas en los tres campus de la UPV