FMIS 2007
2nd International Workshop on
Formal Methods for Interactive Systems

 

 

 
Lancaster, UK, 4 September 2007
 
Organizers
Contact
  • fmis2007 AT dcs.qmul.ac.uk

Submission Deadline: DEADLINE EXTENDED: 1 July 2007

Notification: 27 July 2007

Workshop: 4 September 2007


Last update: March 29, 2007