A genetically modified Hoare logic
| 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-02051795
Soumis le : lundi 25 octobre 2021-11:18:55
Dernière modification le : lundi 19 janvier 2026-16:46:20
Archivage à long terme le : mercredi 26 janvier 2022-19:21:16