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 : lundi 7 octobre 2024-10:33:43
Dernière modification le : mercredi 16 octobre 2024-03:22:15