Combiner la vérification déductive avec l'analyse de forme
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Frédéric Loulergue : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04622131
Soumis le : lundi 24 juin 2024-14:18:51
Dernière modification le : samedi 29 juin 2024-03:18:31