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

 

 

 
Eindhoven, NL, 2 November 2009
 
Organizers
Contact
  • fmis2009 AT isti.cnr.it
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