Daniel Crowley - Doctorant
Coordonnées
- crowley@cril.fr
https://orcid.org/0009-0000-2545-6993
- idHaldaniel-crowley
Diplôme en cours ou obtenu en étant au CRIL
Axe de recherche
- Contraintes
Publications
Rapports techniques
2024 Daniel Crowley, Daniel Le Berre, Olivier Roussel, Yakoub Salhi, On Finding Counter-Models: Approach Based on Instantiating Abstract Sets 2024.