TRAP: trace runtime analysis of properties
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Frédéric Mallet : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02402957
Soumis le : mercredi 8 janvier 2020-08:46:10
Dernière modification le : lundi 26 février 2024-11:22:07
Archivage à long terme le : jeudi 9 avril 2020-13:38:18