Formal methods for software security (invited talk)
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) |
---|
Thomas Jensen : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01658835
Soumis le : jeudi 7 décembre 2017-19:00:06
Dernière modification le : mercredi 6 novembre 2024-11:12:05