ifm 2009 integrated Formal Methods

16. - 19. February 2009, Duesseldorf, Germany

Home
Call for Papers
Düsseldorf
Location
Hotels and Registration
Programme
Workshops and Tutorials
Content
Contact

iFM 2009

7th International Conference on integrated Formal Methods
10 years iFM
Düsseldorf, Germany, 16 - 19 February, 2009

www.formal-methods.de/ifm2009

Now available:

Photos from the conference,
LNCS proceedings, with contents online
Slides from SOA Workshop

Queries? Please contact: Heinrich-Heine-University, Software und Programmiersprachen: To Website. Privacy Policy (Datenschutz). Imprint