*Integrated Formal Methods * - 8th International Conference IFM 2010 Nancy France October 11-14 2010 Proceedings / 53.49€ / ebook
Hugendubel
*IFM'99 * - Proceedings of the 1st International Conference on Integrated Formal Methods York 28-29 June 1999 / 96.49€ / ebook
Hugendubel
*Integrated Formal Methods * - 12th International Conference IFM 2016 Reykjavik Iceland June 1-5 2016 Proceedings. 1st edition 2016 / 85.49€ / Taschenbuch
Hugendubel
*Integrated Formal Methods * - 9th International Conference IFM 2012 Pisa Italy June 18-21 2012. Proceedings / 53.49€ / ebook
Hugendubel