On Finding Counter-Models: Approach Based on Instantiating Abstract Sets - Université d'Artois
Rapport (Rapport Technique) Année : 2024

On Finding Counter-Models: Approach Based on Instantiating Abstract Sets

Fichier principal
Vignette du fichier
report.pdf (251.79 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04709539 , version 1 (25-09-2024)
hal-04709539 , version 2 (07-10-2024)

Identifiants

  • HAL Id : hal-04709539 , version 2

Citer

Daniel Crowley, Daniel Le Berre, Olivier Roussel, Yakoub Salhi. On Finding Counter-Models: Approach Based on Instantiating Abstract Sets. CRIL. 2024. ⟨hal-04709539v2⟩
48 Consultations
39 Téléchargements

Partager

More