Recent Trends in Algebraic Development Techniques
Résumé
Book Front Matter of LNCS 7841
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) |
---|
Hal Ifip : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01485894
Soumis le : jeudi 9 mars 2017-14:53:53
Dernière modification le : mardi 19 octobre 2021-15:44:46