Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /

Lignende værker

• Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
  af: Luís Soares Barbosa, Markus Lumpe
  Udgivet: (2012, c2012)
• Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27–29, 2013 : Revised Selected Papers /
  Udgivet: (2014, c2014)
• Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers /
  af: Corina S. P.s.reanu, Gwen Salaün
  Udgivet: (2013, c2013)
• Fundamentals of Software Engineering : Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers /
  af: Farhad Arbab, Marjan Sirjani
  Udgivet: (2012, c2012)
• Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers /
  af: Gilles Barthe, Anupam Datta, Sandro Etalle
  Udgivet: (2012, c2012)