Formal Aspects of Component Software
FACS 2012: Mountain View, CA, USA
Corina S. Pasareanu, Gwen Salaün (Eds.): Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Springer 2013 Lecture Notes in Computer Science 7684 ISBN 978-3-642-35860-9 [ contents ]
FACS 2011: Oslo, Norway
- Farhad Arbab, Peter Csaba Ölveczky (Eds.): Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Springer 2012 Lecture Notes in Computer Science 7253 ISBN 978-3-642-35742-8 [ contents ]
FACS 2010: Guimarães, Portugal
- Luís Soares Barbosa, Markus Lumpe (Eds.): Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Springer 2012 Lecture Notes in Computer Science 6921 ISBN 978-3-642-27268-4 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team