On Finding Counter-Models: Approach Based on Instantiating Abstract Sets
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Daniel Crowley : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-04709539
Soumis le : mercredi 25 septembre 2024-16:33:46
Dernière modification le : vendredi 11 octobre 2024-03:21:53