Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDInternational Workshop on Formal Aspects of Component Software (FACS)
16th FACS 2019: Amsterdam, The Netherlands
- Farhad Arbab, Sung-Shik Jongmans:
Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings. Lecture Notes in Computer Science 12018, Springer 2020, ISBN 978-3-030-40913-5 [contents]
15th FACS 2018: Pohang, South Korea
- Kyungmin Bae, Peter Csaba Ölveczky:
Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. Lecture Notes in Computer Science 11222, Springer 2018, ISBN 978-3-030-02145-0 [contents]
14th FACS 2017: Braga, Portugal
- José Proença, Markus Lumpe:
Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Lecture Notes in Computer Science 10487, Springer 2017, ISBN 978-3-319-68033-0 [contents]
13th FACS 2016: Besançon, France
- Olga Kouchnarenko, Ramtin Khosravi:
Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10231, 2017, ISBN 978-3-319-57665-7 [contents]
12th FACS 2015: Niterói, Brazil
- Christiano Braga, Peter Csaba Ölveczky:
Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9539, Springer 2016, ISBN 978-3-319-28933-5 [contents]
11th FACS 2014: Bertinoro, Italy
- Ivan Lanese, Eric Madelaine:
Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8997, Springer 2015, ISBN 978-3-319-15316-2 [contents]
10th FACS 2013: Nanchang, China
- José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue:
Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8348, Springer 2014, ISBN 978-3-319-07601-0 [contents]
9th FACS 2012: Mountain View, CA, USA
- Corina S. Pasareanu, Gwen Salaün:
Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7684, Springer 2013, ISBN 978-3-642-35860-9 [contents]
8th FACS 2011: Oslo, Norway
- Farhad Arbab, Peter Csaba Ölveczky:
Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7253, Springer 2012, ISBN 978-3-642-35742-8 [contents]
7th FACS 2010: Guimarães, Portugal
- Luís Soares Barbosa
, Markus Lumpe:
Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6921, Springer 2012, ISBN 978-3-642-27268-4 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2021-05-06 23:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
