Equivalence algorithmique sur base de transformations axées sur la généralisation de programmes logiques

Projet: Projet de thèse

Filtrer
Participation à une conférence, un congrès

Résultats de recherche