Proof automation for Event-B theories
| 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-04308810
Soumis le : lundi 27 novembre 2023-11:17:28
Dernière modification le : mercredi 22 octobre 2025-18:04:09