| HAL-Inria | Publications, software ... of Inria's scientists |
Directions of work or proceedings
Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12)
Abstract : This issue contains extended versions of selected papers from the 9th International Symposium on Formal Aspects of Component Software (FACS'12).
https://hal.inria.fr/hal-01016471
Contributor : Gwen Salaün <>
Submitted on : Monday, June 30, 2014 - 12:24:21 PM
Last modification on : Tuesday, February 9, 2021 - 3:10:03 PM
Long-term archiving on: : Tuesday, September 30, 2014 - 3:20:17 PM
Contributor : Gwen Salaün <>
Submitted on : Monday, June 30, 2014 - 12:24:21 PM
Last modification on : Tuesday, February 9, 2021 - 3:10:03 PM
Long-term archiving on: : Tuesday, September 30, 2014 - 3:20:17 PM
File
preface.pdf
Files produced by the author(s)