SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science - Archive ouverte HAL Access content directly
Books Year : 2017

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

Mohamed Mosbah
Laboratoire Bordelais de Recherche en Informatique
Michaël Rusinowitch

Domains

Computer Science [cs] Logic in Computer Science [cs.LO] Computer Science [cs] Symbolic Computation [cs.SC] Computer Science [cs] Cryptography and Security [cs.CR]

Michaël Rusinowitch  : Connect in order to contact the contributor

https://hal.inria.fr/hal-01649032

Submitted on : Monday, November 27, 2017-10:34:59 AM

Last modification on : Friday, March 24, 2023-2:53:05 PM

Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-01649032 , version 1

Cite

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

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS IRISA UR1-MATH-STIC UR1-UFR-ISTIC UR1-MATH-NUM
43 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More