Giorno - Ora: 18-06-2012 00:00
Luogo: CNR Research Area of Pisa, Italy
Ruolo ISTI: Co-organizer
Laboratori: 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