FMCO 2010: Software Technologies Concertation on Formal Methods for Components and Objects

  • Elisabeth Jöbstl (Organiser)
  • Harald Brandl (Organiser)
  • Aichernig, B. (Organiser)

Activity: Participation in or organisation ofConference or symposium (Participation in/Organisation of)

Description

Workshop/Symposium
Period29 Nov 20101 Dec 2010
Event typeOther
Degree of RecognitionInternational