Aeneas: Rust Verification by Functional Translation
Domaines
Logique en informatique [cs.LO]Origine | Fichiers produits par l'(les) auteur(s) |
---|
HAL-LARALibre accès aux rapports scientifiques et techniques |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Son Ho : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04136056
Soumis le : mercredi 21 juin 2023-13:10:20
Dernière modification le : mardi 5 novembre 2024-13:14:02
Archivage à long terme le : vendredi 22 septembre 2023-18:35:35