Les événements de l’UNamur

Cours préparatoires

Evénement institutionnel

Top départ pour une période de révisions

Lire plus

Sep

Défense de thèse

An anti-unification-based framework for semantic clone detection in Constraint Horn Clauses.