IFM Düsseldorf. (2011). Special issue on integrated formal methods (iFM09): [Selected papers from the 7th International Conference on Integrated Formal Methods, iFM09, held on 16 - 19 February 2009 in Düsseldorf, Germany]. Elsevier.
Chicago-Zitierstil (17. Ausg.)IFM Düsseldorf. Special Issue on Integrated Formal Methods (iFM09): [Selected Papers from the 7th International Conference on Integrated Formal Methods, IFM09, Held on 16 - 19 February 2009 in Düsseldorf, Germany]. Amsterdam u.a: Elsevier, 2011.
MLA-Zitierstil (9. Ausg.)IFM Düsseldorf. Special Issue on Integrated Formal Methods (iFM09): [Selected Papers from the 7th International Conference on Integrated Formal Methods, IFM09, Held on 16 - 19 February 2009 in Düsseldorf, Germany]. Elsevier, 2011.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.