SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science - Inria - Institut national de recherche en sciences et technologies du numérique
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2017

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

Mohamed Mosbah
Michaël Rusinowitch
Fichier non déposé

Dates et versions

hal-01649032 , version 1 (27-11-2017)

Identifiants

  • HAL Id : hal-01649032 , version 1

Citer

Mohamed Mosbah, Michaël Rusinowitch (Dir.). SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science . 2017. ⟨hal-01649032⟩
59 Consultations
0 Téléchargements

Partager

More