Skip to Main content Skip to Navigation
Directions of work or proceedings

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

Complete list of metadatas

https://hal.inria.fr/hal-01649032
Contributor : Michaël Rusinowitch <>
Submitted on : Monday, November 27, 2017 - 10:34:59 AM
Last modification on : Saturday, March 14, 2020 - 5:50:04 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

67