Proofs on Inductive Predicates in Why3
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Connectez-vous pour contacter le contributeur
https://hal.science/hal-04734466
Soumis le : lundi 14 octobre 2024-09:30:32
Dernière modification le : vendredi 24 octobre 2025-16:40:02