Guiding Craig interpolation with domain-specific abstractions
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Jérôme Leroux : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02391810
Soumis le : jeudi 14 novembre 2024-09:55:05
Dernière modification le : mercredi 20 novembre 2024-03:11:57