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

Divulgació de les activitats científiques, tecnològiques i artístiques ocorregudes en els tres campus de la UPV