FMIS 2013

5th International Workshop on Formal Methods for Interactive Systems

We are now ready to publish the final proceedings with ECEASST

 

 

City University,
London,
June 24th, 2013.
 
Organizers
Contact
  • jbowen AT cs.waikato.ac.nz
->
Final Submission Formatting

Please use the Latex template or Word template for your final submission. Do not make any other changes to your paper content from your submission for the pre-proceedings.

Please upload your final submission to EasyChair.

Last update: July 28th, 2014