• Link: Visit Website
  • Day - Time: 2012-06-18 02:00
  • Place: CNR Research Area of Pisa, Italy
  • Isti role: Co-organizer
  • Units: FMT

The iFM conference series seeks to further research into the combination of (formal and semi-formal) methods for system development, regarding modeling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice