SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science

Type de document :
Direction d'ouvrage, Proceedings, Dossier
France. 2017
Liste complète des métadonnées

https://hal.inria.fr/hal-01649032
Contributeur : Michaël Rusinowitch <>
Soumis le : lundi 27 novembre 2017 - 10:34:59
Dernière modification le : jeudi 11 janvier 2018 - 06:20:17

Identifiants

  • HAL Id : hal-01649032, version 1

Collections

Citation

Mohamed Mosbah, Michaël Rusinowitch. SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science . France. 2017. 〈hal-01649032〉

Partager

Métriques

Consultations de la notice

33