Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /

Documenti analoghi

• Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /
  di: Farhad Arbab, Peter Csaba Ölveczky
  Pubblicazione: (2012, c2012)
• Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27–29, 2013 : Revised Selected Papers /
  Pubblicazione: (2014, c2014)
• Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers /
  di: Corina S. P.s.reanu, Gwen Salaün
  Pubblicazione: (2013, c2013)
• Formal Aspects of Security and Trust : 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers /
  di: Pierpaolo Degano, Sandro Etalle, Joshua Guttman
  Pubblicazione: (2011, c2011)
• Software Composition : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /
  di: Markus Lumpe, Wim Vanderperren
  Pubblicazione: (2007, c2007)