FMIS 2009
3rd International Workshop on
Formal Methods for Interactive Systems



Eindhoven, NL, 2 November 2009
  • fmis2009 AT
The workshop will be held as part of FM2009 in Eindhoven. Further details of the venue are available on the FM2009 website. REGISTRATION FOR THE WORKSHOP IS OPEN AND TAKES PLACE VIA  THE FM 2009 SITE 
Regular registration before October 19, late and on-site registration after that date.
Last update: September 28, 2009