UPV

UPV

:: Sign in ::

Concolic Testing in Logic Programming (ICLP'15)

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

[ More UPV TV videos ] [ See more educational videos ]

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

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

24:24 · 2016

Concolic Testing in CLP

Concolic Testing in CLP

15:55 · 2020

Reversible Computations in Logic Programming

Reversible Computations in Logic Programming

20:13 · 2020

Programming Logic and Languages: event-driven programming

Programming Logic and Languages: event-driven programming

4:37 · 2015

clase 29 abril 2020

clase 29 abril 2020

84:50 · 2020

demo amg unity

1:54 · 2022

No puedes esconderte

No puedes esconderte

3:15 · 2014

Derecho a la portabilidad

Derecho a la portabilidad

8:13 · 2018

Teams - Convocar reunión inmediata

Teams - Convocar reunión inmediata

3:27 · 2020

las tres gracias

las tres gracias

1:29 · 2016

Universitat Politècnica de València © 2020 · Tel. (+34) 96 387 70 00